X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=change.h;h=dc539f1a3b58cda01ac3c1122c1751ecaa7a78d0;hb=dda2d5d103b32f8505374712936af1daf42ec061;hp=f2e0befbb3dd7768247164c244cebfe326832a56;hpb=44e8eabc8f7a0ab23c29037a770463d8a2de7b4a;p=satcheck.git

diff --git a/change.h b/change.h
index f2e0bef..dc539f1 100644
--- a/change.h
+++ b/change.h
@@ -15,7 +15,7 @@
 #include "eprecord.h"
 
 class MCChange {
- public:
+public:
 	MCChange(EPRecord *record, uint64_t _val, unsigned int _index);
 	~MCChange();
 	EPRecord *getRecord() {return record;}
@@ -29,7 +29,7 @@ class MCChange {
 	void print();
 	MEMALLOC;
 
- private:
+private:
 	EPRecord *record;
 	uint64_t val;
 	unsigned int index;