X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=functionrecord.h;h=5db5132626e2a67d0bb1444e87d5dcdb90411636;hb=HEAD;hp=a7ecce86e1463cd67df879a6c70a54a9d75d1a71;hpb=44e8eabc8f7a0ab23c29037a770463d8a2de7b4a;p=satcheck.git

diff --git a/functionrecord.h b/functionrecord.h
index a7ecce8..5db5132 100644
--- a/functionrecord.h
+++ b/functionrecord.h
@@ -12,16 +12,16 @@
 #include "classlist.h"
 
 class FunctionRecord {
- public:
+public:
 	FunctionRecord(ConstGen *cg, EPRecord *func);
 	~FunctionRecord();
 	Constraint * getValueEncoding(uint64_t val);
 	Constraint * getNoValueEncoding();
 
 	MEMALLOC;
- private:
+private:
 	EPRecord *function;
-  Constraint **vars;
+	Constraint **vars;
 	uint numvars;
 };
 #endif