1 files changed, 2 insertions, 2 deletions
diff --git a/warp/play.h b/warp/play.h
index 9971585b..d6b06a18 100644
--- a/warp/play.h
+++ b/warp/play.h
@@ -9,5 +9,5 @@
 EXT int finish INIT(0);
 EXT int timer;
 
-void play();
-void play_init();
+void play_init(void);
+void play(void);