check space helper added

[mc1516pa.git] / modelchecker / main.c

diff --git a/modelchecker/main.c b/modelchecker/main.c
index e954c07..7940dc9 100644 (file)
--- a/modelchecker/main.c
+++ b/modelchecker/main.c
@@ -62,6 +62,7 @@ void solve(FILE *inputstream)
                case COORD:
                        DPRINT("Encoding coordinate based\n");
                        encode_screen(screen);
+                       //test_relprod();
                        break;
                case OBJECT:
                        DPRINT("Encoding object based\n");