Fixed a bug with the Basic.h templates.

haz · haz · commit 3ddeea79520e · 2012-10-09T11:46:20.000-04:00
diff --git a/src/src_sharpSAT/Basics.h.bdg b/src/src_sharpSAT/Basics.h.bdg
@@ -30,6 +30,7 @@ public:
     static int nodeCount; // Nodes currently in use
     
     static bool smoothNNF;
+    static bool ensureAllLits;
     
     static bool disableDynamicDecomp;
     
diff --git a/src/src_sharpSAT/Basics.h.ddnnf b/src/src_sharpSAT/Basics.h.ddnnf
@@ -30,6 +30,7 @@ public:
     static int nodeCount; // Nodes currently in use
     
     static bool smoothNNF;
+    static bool ensureAllLits;
     
     static bool disableDynamicDecomp;
 
