Fix apparent bug...

[satcheck.git] / valuerecord.h

diff --git a/valuerecord.h b/valuerecord.h
index 9269223ad2f801f16c3b31f750ae7fe529192e6c..fdfad21b7059a540e7471420c968e6c13639003c 100644 (file)
--- a/valuerecord.h
+++ b/valuerecord.h
@@ -12,14 +12,14 @@
 #include "classlist.h"
 
 class ValueRecord {
- public:
+public:
        ValueRecord(IntHashSet *set);
-  ~ValueRecord();
-  Constraint * getValueEncoding(Constraint **vars, uint64_t value);
+       ~ValueRecord();
+       Constraint * getValueEncoding(Constraint **vars, uint64_t value);
        uint64_t getValue(Constraint **vars, bool *satsolution);
        uint getNumVars() {return numvars;}
        MEMALLOC;
- private:
+private:
        IntHashSet *set;
        uint numvars;
 };