From: Alexander Fedotov <soyaxhoya@gmail.com>
Date: Thu, 7 Apr 2016 11:51:00 +0000 (+0100)
Subject: tiny update
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=3350e67ad7c96bf9b821c0d691a58eb141a13e17;p=mc1516pa.git

tiny update
---

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