From: Alexander Fedotov <soyaxhoya@gmail.com>
Date: Thu, 7 Apr 2016 11:12:43 +0000 (+0100)
Subject: small clean-up
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=66136542e2b9208dd3a7b7e2f9bd0ea3f6418a6b;p=mc1516pa.git

small clean-up
---

diff --git a/modelchecker/coord.c b/modelchecker/coord.c
index bf165a7..6632345 100644
--- 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;
 		}
 	}