X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=modelchecker%2Fsokoban.h;h=50e9893d5fefee9daadc1f6a0a16ec737808e10e;hb=3fc66581b10fbfc3f9abeba0ffc6fa8d0a099b24;hp=95dc079ad30738974a8e9e821052d3f0959b3671;hpb=f73ed5bf4ad9769bcf39e00d6896ae8e7085126a;p=mc1516pa.git

diff --git a/modelchecker/sokoban.h b/modelchecker/sokoban.h
index 95dc079..50e9893 100644
--- a/modelchecker/sokoban.h
+++ b/modelchecker/sokoban.h
@@ -7,9 +7,9 @@ struct sokoban_screen {
 	int x;
 	int y;
 	sokoban_tile tile;
-	sokoban_screen *next;
+	struct sokoban_screen *next;
 };
 
-sokoban_screen *parse(FILE *stream);
+struct sokoban_screen *parse_screen(FILE *stream);
 
 #endif