Fix tabbing

[satune.git] / src / Backend / satencoder.h

diff --git a/src/Backend/satencoder.h b/src/Backend/satencoder.h
index 7fb889c9b92e06697f53093410af2fbb40d1351b..0ccf31cfcdcb012ee00a533e81e1ed788dfea2c3 100644 (file)
--- a/src/Backend/satencoder.h
+++ b/src/Backend/satencoder.h
@@ -22,7 +22,7 @@ public:
 
        CMEMALLOC;
 private:
-       void shouldMemoize(Element *elem, uint64_t val, bool & memo);
+       void shouldMemoize(Element *elem, uint64_t val, bool &memo);
        Edge getNewVarSATEncoder();
        void getArrayNewVarsSATEncoder(uint num, Edge *carray);
        Edge encodeVarSATEncoder(BooleanVar *constraint);