Split Boolean into separate file

[satune.git] / src / classlist.h

diff --git a/src/classlist.h b/src/classlist.h
index cb9f19b65d419c9140143b1c11a0cc40f33f793f..4c48778467f6ea418c822eb0789fb78be3a0e551 100644 (file)
--- a/src/classlist.h
+++ b/src/classlist.h
@@ -14,6 +14,7 @@
 #include <inttypes.h>
 
 class Constraint;
+class Boolean;
 class IncrementalSolver;
 class Set;
 class MutableSet;