tiny update

diff --git a/modelchecker/coord.c b/modelchecker/coord.c
index 6632345..586095f 100644 (file)
--- 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;
 }