adding new hash functions ...

[satune.git] / src / classlist.h

diff --git a/src/classlist.h b/src/classlist.h
index 0e3d28744166fce399a4a661f30879293fe3d573..171e66239c0a8a6aa9504d397fe92f593c0f5125 100644 (file)
--- a/src/classlist.h
+++ b/src/classlist.h
@@ -22,7 +22,6 @@ struct SATEncoder;
 typedef struct SATEncoder SATEncoder;
 
 typedef struct BooleanOrder BooleanOrder;
-typedef struct BooleanInterOrder BooleanInterOrder;
 typedef struct BooleanVar BooleanVar;
 typedef struct BooleanLogic BooleanLogic;
 typedef struct BooleanPredicate BooleanPredicate;
@@ -93,5 +92,6 @@ struct OrderEdge;
 typedef struct OrderEdge OrderEdge;
 
 typedef unsigned int uint;
+typedef long int int64;
 typedef uint64_t VarType;
 #endif