tiny update

diff --git a/modelchecker/coord.c b/modelchecker/coord.c
index 8641bad..af3cebe 100644 (file)
--- a/modelchecker/coord.c
+++ b/modelchecker/coord.c
@@ -58,7 +58,7 @@ typedef struct {
 } rels;
 
 typedef struct {
-       int *vars;
+       uint8_t *vars;
        int size;
 } variables;
 

diff --git a/modelchecker/coord.h b/modelchecker/coord.h
index 2ec2918..599b91b 100644 (file)
--- a/modelchecker/coord.h
+++ b/modelchecker/coord.h
@@ -3,6 +3,8 @@
 
 #include "sokoban.h"
 
+typedef enum { LEFT, UP, RIGHT, DOWN } direction;
+
 BDD encode_screen(sokoban_screen *screen);
 
 BDD encode_rel(sokoban_screen *screen);