X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=loadrf.h;h=12d4065c0e4984e93b567cbc1596c9e04cd87a3d;hb=refs%2Fheads%2Fmaster;hp=8ef7a1994a3f8110f92d544b06b5a7897f1a2424;hpb=44e8eabc8f7a0ab23c29037a770463d8a2de7b4a;p=satcheck.git

diff --git a/loadrf.h b/loadrf.h
index 8ef7a19..12d4065 100644
--- a/loadrf.h
+++ b/loadrf.h
@@ -12,13 +12,13 @@
 #include "classlist.h"
 
 class LoadRF {
- public:
+public:
 	LoadRF(EPRecord *_load, ConstGen *cg);
 	~LoadRF();
 	void genConstraints(ConstGen *cg);
 
 	MEMALLOC;
- private:
+private:
 	EPRecord *load;
 	uint numvars;
 	Constraint ** vars;