screen shrinking done

[mc1516pa.git] / modelchecker / sokoban.h

diff --git a/modelchecker/sokoban.h b/modelchecker/sokoban.h
index 414daa0..30466e3 100644 (file)
--- a/modelchecker/sokoban.h
+++ b/modelchecker/sokoban.h
@@ -21,6 +21,6 @@ sokoban_screen *get_coord(int x, int y, sokoban_screen *screen);
 
 void sokoban_print(sokoban_screen *screen);
 
-void sokoban_clear(sokoban_screen *screen);
+void sokoban_free(sokoban_screen *screen);
 
 #endif