X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=equalsrecord.h;h=f5e66a3017ed15d073037a8b354f07add8e09a6a;hb=HEAD;hp=14968bae7f8d1803ffab96eaf891f196ed1cd2eb;hpb=44e8eabc8f7a0ab23c29037a770463d8a2de7b4a;p=satcheck.git

diff --git a/equalsrecord.h b/equalsrecord.h
index 14968ba..f5e66a3 100644
--- 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