Fix apparent bug...

[satcheck.git] / storeloadset.h

diff --git a/storeloadset.h b/storeloadset.h
index 45e2465d0a17f751ffce07d90bdb23caa60723dc..8dbbbc20312bb4b6c1685269b4ff9596755a467f 100644 (file)
--- 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;