X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=modelchecker%2Fmain.c;h=9d93ef2d2c3c3fd8a6bd041c49a455b5f3f41894;hb=d6125301a72af27e71bb4c2b19282d1731d48118;hp=240e3c743b7c5da009dde333de67fb6fdc67499a;hpb=476b70d5c7cb978fec97c99fe462402eb38405de;p=mc1516pa.git

diff --git a/modelchecker/main.c b/modelchecker/main.c
index 240e3c7..9d93ef2 100644
--- 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();