X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=modelchecker%2Fcoord.c;fp=modelchecker%2Fcoord.c;h=caa7b78b9fe9c15166864482b452c7ab2a21dbfb;hb=81eb34c9ea8b55240eb973b1e9f3911fb6da8a7d;hp=200db36abd4b2d57a35604809303c56b86646843;hpb=4885d6dc58a7cf7df3073b3f08fc3a83e525d68f;p=mc1516pa.git

diff --git a/modelchecker/coord.c b/modelchecker/coord.c
index 200db36..caa7b78 100644
--- a/modelchecker/coord.c
+++ b/modelchecker/coord.c
@@ -1072,6 +1072,7 @@ trans_t *create_single_rel(sokoban_screen *screen, direction dir)
 	trs_current = trs;
 
     //test
+    /*
     switch(dir){
     case LEFT:
         if (trs_current != NULL) printf("LEFT ok!\n");
@@ -1094,7 +1095,7 @@ trans_t *create_single_rel(sokoban_screen *screen, direction dir)
         printf("Num of trans relations:%d\n", countTrans(trs));
         break;
     }
-
+    */
 	return trs;
 }