From 3350e67ad7c96bf9b821c0d691a58eb141a13e17 Mon Sep 17 00:00:00 2001
From: Alexander Fedotov <soyaxhoya@gmail.com>
Date: Thu, 7 Apr 2016 12:51:00 +0100
Subject: [PATCH] tiny update

---
 modelchecker/coord.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/modelchecker/coord.c b/modelchecker/coord.c
index 6632345..586095f 100644
--- a/modelchecker/coord.c
+++ b/modelchecker/coord.c
@@ -170,6 +170,7 @@ BDD encode_screen(sokoban_screen *screen)
 			break;
 		}
 	}
+	printf("%d tiles were encoded\n", tile_index);
 	return state;
 }
 
-- 
2.20.1