From 66136542e2b9208dd3a7b7e2f9bd0ea3f6418a6b Mon Sep 17 00:00:00 2001
From: Alexander Fedotov <soyaxhoya@gmail.com>
Date: Thu, 7 Apr 2016 12:12:43 +0100
Subject: [PATCH] small clean-up

---
 modelchecker/coord.c | 7 -------
 1 file changed, 7 deletions(-)

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;
 		}
 	}
-- 
2.20.1