X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=modelchecker%2Fsokoban.h;h=30466e37b437a93aeb81c678f3716b62b8436cdc;hb=59b2b66a7c7b6585ebd30e8c530b9f826bcc70e9;hp=414daa0c3d43cf1c739f2725e45c7c556e6f214f;hpb=476b70d5c7cb978fec97c99fe462402eb38405de;p=mc1516pa.git

diff --git a/modelchecker/sokoban.h b/modelchecker/sokoban.h
index 414daa0..30466e3 100644
--- 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