File fix-gcc15.patch of Package worminator

diff --git a/prototypes.h b/prototypes.h
index 2664c9a..beca90a 100644
--- a/prototypes.h
+++ b/prototypes.h
@@ -173,7 +173,7 @@ void push_player(float x_amount, float y_amount);
 void player_touched(int x_tile_location, int y_tile_location);
 
 void control_player();
-void trigger_switch();
+void trigger_switch(int x, int y);
 
 /* This function will assign the player.frame attribute to an appropriate
    value, based on what the player is doing at the time.                */