tiny update

[mc1516pa.git] / modelchecker / main.c

diff --git a/modelchecker/main.c b/modelchecker/main.c
index 240e3c7..9d93ef2 100644 (file)
--- a/modelchecker/main.c
+++ b/modelchecker/main.c
@@ -7,7 +7,6 @@
 
 #include "mc.h"
 #include "sokoban.h"
-#include "uthash.h"
 
 //Global variables
 bool DEBUG = false;
@@ -44,6 +43,7 @@ void solve(FILE *inputstream)
        sokoban_screen *screen = parse_screen(inputstream);
        if (screen == NULL) printf("Something went wrong...\n");
        sokoban_print(screen);
+       sokoban_free(screen);
        //parse_screen(inputstream);
        time_end_read = clock();