X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2Fclasslist.h;h=c6a7cb7f434902896e69c9f0cf20a4bf3687458e;hp=53555ed87c88778bac05688a6cfb30fbfdce6c43;hb=2fdb3e8b65ae7e1490997e5df9ad8cc0929e1589;hpb=8828582606732da9cc5396dd5a28c01d20ef4325

diff --git a/src/classlist.h b/src/classlist.h
index 53555ed..c6a7cb7 100644
--- a/src/classlist.h
+++ b/src/classlist.h
@@ -9,9 +9,15 @@
 
 #ifndef CLASSLIST_H
 #define CLASSLIST_H
-#include "hashset.h"
+//#include "hashset.h"
 #include "mymemory.h"
 #include <inttypes.h>
+#define bool int
+#define true 1
+#define false 0
+
+struct CSolver;
+typedef struct CSolver CSolver;
 
 struct Constraint;
 typedef struct Constraint Constraint;
@@ -20,7 +26,7 @@ struct Boolean;
 typedef struct Boolean Boolean;
 
 struct IncrementalSolver;
-typedef struct IncrementSolver IncrementalSolver;
+typedef struct IncrementalSolver IncrementalSolver;
 
 struct Set;
 typedef struct Set Set;
@@ -34,7 +40,7 @@ struct Function;
 typedef struct Function Function;
 
 struct Predicate;
-typedef struct Predicat Predicate;
+typedef struct Predicate Predicate;
 
 struct Table;
 typedef struct Table Table;