X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=modelchecker%2Fmain.c;h=e954c073f79fedc82ca930a780b3d836172df3a7;hb=0e87344904723c04857c5a2a1dc8e4f5606755c1;hp=02cda40f09ee0bedcbc35eb59b93a76c02b246ee;hpb=b29982e8181d823142ce12b6d582181937fba7ad;p=mc1516pa.git

diff --git a/modelchecker/main.c b/modelchecker/main.c
index 02cda40..e954c07 100644
--- a/modelchecker/main.c
+++ b/modelchecker/main.c
@@ -48,9 +48,9 @@ void solve(FILE *inputstream)
 	time_start_read = clock();
 	sokoban_screen *screen = parse_screen(inputstream);
 	if (screen == NULL) printf("Something went wrong...\n");
-	sokoban_print(screen);
-
+	//sokoban_print(screen);
 	time_end_read = clock();
+
 	time_start_encode = clock();
 
 	lace_init(0, 1000000);