bug fixes

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

diff --git a/src/Backend/satencoder.h b/src/Backend/satencoder.h
index dcf3b86ad30cb40a0fb3770144d6550eba11bd94..03471647f830b1cf0586e830297690fe52a74776 100644 (file)
--- a/src/Backend/satencoder.h
+++ b/src/Backend/satencoder.h
@@ -13,7 +13,7 @@ public:
        int solve();
        SATEncoder(CSolver *solver);
        ~SATEncoder();
-        void resetSATEncoder();
+       void resetSATEncoder();
        void encodeAllSATEncoder(CSolver *csolver);
        Edge encodeConstraintSATEncoder(BooleanEdge constraint);
        CNF *getCNF() { return cnf;}