From 5b3e2d9fac13d73c002c412ca39ae3aa4de1950a Mon Sep 17 00:00:00 2001
From: Alexander Fedotov <soyaxhoya@gmail.com>
Date: Mon, 11 Apr 2016 12:19:54 +0100
Subject: [PATCH] tiny update

---
 modelchecker/coord.c | 2 +-
 modelchecker/coord.h | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

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);
-- 
2.20.1