bug fixes

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

diff --git a/src/Backend/satencoder.cc b/src/Backend/satencoder.cc
index 206d2b7fe30857c553fcc651f967c9ed44fd45e0..bf8ede4cce51cf13844d81e404bb8cb1f9987efd 100644 (file)
--- a/src/Backend/satencoder.cc
+++ b/src/Backend/satencoder.cc
@@ -21,9 +21,9 @@ SATEncoder::~SATEncoder() {
        deleteCNF(cnf);
 }
 
-void SATEncoder::resetSATEncoder(){
-        resetCNF(cnf);
-        booledgeMap.reset();
+void SATEncoder::resetSATEncoder() {
+       resetCNF(cnf);
+       booledgeMap.reset();
 }
 
 int SATEncoder::solve() {