X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=modelchecker%2Fmain.c;h=7940dc94d65aceab344e5f156e1e11a0e0e8e208;hb=03c6e2f515f6516448ec39aa40a439b9fc20c4c8;hp=e954c073f79fedc82ca930a780b3d836172df3a7;hpb=0e87344904723c04857c5a2a1dc8e4f5606755c1;p=mc1516pa.git

diff --git a/modelchecker/main.c b/modelchecker/main.c
index e954c07..7940dc9 100644
--- 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");