Fix apparent bug...

[satcheck.git] / equalsrecord.h

diff --git a/equalsrecord.h b/equalsrecord.h
index 14968bae7f8d1803ffab96eaf891f196ed1cd2eb..f5e66a3017ed15d073037a8b354f07add8e09a6a 100644 (file)
--- a/equalsrecord.h
+++ b/equalsrecord.h
@@ -12,15 +12,15 @@
 #include "classlist.h"
 
 class EqualsRecord {
- public:
+public:
        EqualsRecord(ConstGen *cg, EPRecord *func);
        ~EqualsRecord();
        Constraint * getValueEncoding(uint64_t val);
        EPRecord *getRecord() {return equals;}
 
        MEMALLOC;
- private:
+private:
        EPRecord *equals;
-  Constraint *vars;
+       Constraint *vars;
 };
 #endif