X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=storeloadset.h;h=8dbbbc20312bb4b6c1685269b4ff9596755a467f;hb=086658309f67c28dc254b06bda5bafa8c3e191d6;hp=45e2465d0a17f751ffce07d90bdb23caa60723dc;hpb=5f3838b041321eb417737eed51c8639266c0d77c;p=satcheck.git

diff --git a/storeloadset.h b/storeloadset.h
index 45e2465..8dbbbc2 100644
--- a/storeloadset.h
+++ b/storeloadset.h
@@ -13,7 +13,7 @@
 #include "stl-model.h"
 
 class StoreLoadSet {
- public:
+public:
 	StoreLoadSet();
 	~StoreLoadSet();
 	void add(EPRecord *op);
@@ -32,9 +32,9 @@ class StoreLoadSet {
 	Constraint ** getRMWRValVars(ConstGen *cg, EPRecord * op);
 	IntHashSet * getValues() {return &values;}
 	bool removeAddress(const void *addr) {addresses.remove((uint64_t)addr);return addresses.isEmpty();}
-	
+
 	MEMALLOC;
- private:
+private:
 	void genEncoding();
 	RecordSet storeloadset;
 	IntHashSet addresses;