1)core dump in regex for big strings 2) Boolean Var bugs 3) adding support for other...

[satune.git] / src / classlist.h

diff --git a/src/classlist.h b/src/classlist.h
index 3986a3051927f4ba1204957062112539240ffd88..d81b9bc9c6e683e8f45d8cc67df45f73dd392b45 100644 (file)
--- a/src/classlist.h
+++ b/src/classlist.h
@@ -74,8 +74,10 @@ class EncodingEdge;
 class EncodingSubGraph;
 class SignatureEnc;
 class Signature;
+class ValuedSignature;
 class ElementSig;
 class SetSig;
+class BooleanSig;
 struct IncrementalSolver;
 typedef struct IncrementalSolver IncrementalSolver;
 struct TableEntry;