state encoding as it has to be

[mc1516pa.git] / modelchecker / coord.h

diff --git a/modelchecker/coord.h b/modelchecker/coord.h
index 2580d60..2ec2918 100644 (file)
--- a/modelchecker/coord.h
+++ b/modelchecker/coord.h
@@ -7,4 +7,6 @@ BDD encode_screen(sokoban_screen *screen);
 
 BDD encode_rel(sokoban_screen *screen);
 
+//int test_relprod();
+
 #endif