improved makefile

[mc1516pa.git] / modelchecker / sokoban.h

diff --git a/modelchecker/sokoban.h b/modelchecker/sokoban.h
index 95dc079..50e9893 100644 (file)
--- 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