X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=modelchecker%2Fsokoban.h;h=7043a74ea1237c59334507e63b291a3d1f30452b;hb=b3851097adbafa74d01e05b25ba550a814a5767d;hp=6b8823dd7cba10b304f678025af34aada1a16398;hpb=b29982e8181d823142ce12b6d582181937fba7ad;p=mc1516pa.git

diff --git a/modelchecker/sokoban.h b/modelchecker/sokoban.h
index 6b8823d..7043a74 100644
--- a/modelchecker/sokoban.h
+++ b/modelchecker/sokoban.h
@@ -1,6 +1,7 @@
 #ifndef SOKOBAN_H
 #define SOKOBAN_H
 #include <stdio.h>
+#include <stdbool.h>
 
 #include "uthash.h"
 
@@ -17,7 +18,7 @@ typedef struct {
 	UT_hash_handle hh;
 } sokoban_screen;
 
-sokoban_screen *parse_screen(FILE *stream);
+sokoban_screen *parse_screen(FILE *stream, bool safe);
 
 sokoban_screen *get_coord(int x, int y, sokoban_screen *screen);