From: Alexander Fedotov <soyaxhoya@gmail.com>
Date: Mon, 11 Apr 2016 11:19:54 +0000 (+0100)
Subject: tiny update
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=5b3e2d9fac13d73c002c412ca39ae3aa4de1950a;hp=0a8ebd63de0624a2fc002a78e092694893016d41;p=mc1516pa.git

tiny update
---

diff --git a/modelchecker/coord.c b/modelchecker/coord.c
index 8641bad..af3cebe 100644
--- 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
--- 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);