small clean-up

diff --git a/modelchecker/coord.c b/modelchecker/coord.c
index bf165a7..6632345 100644 (file)
--- a/modelchecker/coord.c
+++ b/modelchecker/coord.c
@@ -59,7 +59,6 @@ BDD encode_screen(sokoban_screen *screen)
                                state = sylvan_and(state, sylvan_ithvar(tile_index));
                                tile_index++;
                        }
-                       printf("x = %d y = %d FREE\n", r->coord.x, r->coord.y);
                        break;
                case WALL:
                        if (state == sylvan_false){
@@ -78,7 +77,6 @@ BDD encode_screen(sokoban_screen *screen)
                                state = sylvan_and(state, sylvan_not(sylvan_ithvar(tile_index)));
                                tile_index++;
                        }
-                       printf("x = %d y = %d WALL\n", r->coord.x, r->coord.y);
                        break;
                case BOX:
                        if (state == sylvan_false){
@@ -97,7 +95,6 @@ BDD encode_screen(sokoban_screen *screen)
                                state = sylvan_and(state, sylvan_not(sylvan_ithvar(tile_index)));
                                tile_index++;
                        }
-                       printf("x = %d y = %d BOX\n", r->coord.x, r->coord.y);
                        break;
                case TARGET:
                        if (state == sylvan_false){
@@ -116,7 +113,6 @@ BDD encode_screen(sokoban_screen *screen)
                                state = sylvan_and(state, sylvan_ithvar(tile_index));
                                tile_index++;
                        }
-                       printf("x = %d y = %d TARGET\n", r->coord.x, r->coord.y);
                        break;
                case AGENT:
                        if (state == sylvan_false){
@@ -135,7 +131,6 @@ BDD encode_screen(sokoban_screen *screen)
                                state = sylvan_and(state, sylvan_ithvar(tile_index));
                                tile_index++;
                        }
-                       printf("x = %d y = %d AGENT\n", r->coord.x, r->coord.y);
                        break;
                case TARGAGENT:
                        if (state == sylvan_false){
@@ -154,7 +149,6 @@ BDD encode_screen(sokoban_screen *screen)
                                state = sylvan_and(state, sylvan_not(sylvan_ithvar(tile_index)));
                                tile_index++;
                        }
-                       printf("x = %d y = %d TARGAGENT\n", r->coord.x, r->coord.y);
                        break;
                case TARGBOX:
                        if (state == sylvan_false){
@@ -173,7 +167,6 @@ BDD encode_screen(sokoban_screen *screen)
                                state = sylvan_and(state, sylvan_not(sylvan_ithvar(tile_index)));
                                tile_index++;
                        }
-                       printf("x = %d y = %d TARGBOX\n", r->coord.x, r->coord.y);
                        break;
                }
        }