X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;ds=sidebyside;f=modelchecker%2Fcoord.c;h=0d293b440c76fe54d4a11265441f47118da187d8;hb=25b40ed8ebcfd9296476bb28d33a1eee064f8d91;hp=af3cebe40bce9c03dd0b1e1de0603d3a3761cfe6;hpb=5b3e2d9fac13d73c002c412ca39ae3aa4de1950a;p=mc1516pa.git

diff --git a/modelchecker/coord.c b/modelchecker/coord.c
index af3cebe..0d293b4 100644
--- a/modelchecker/coord.c
+++ b/modelchecker/coord.c
@@ -58,20 +58,20 @@ typedef struct {
 } rels;
 
 typedef struct {
-	uint8_t *vars;
+	BDDSET varset;
 	int size;
 } variables;
 
 typedef struct
 {
     BDD bdd;
-    BDD variables;
+    variables vars;
 } *state;
 
 typedef struct
 {
     BDD bdd;
-    BDD variables;
+    variables varset;
 } *trans;
 
 xy_bddvar_map *getxy(int x, int y, xy_bddvar_map *map)