1 files changed, 2 insertions, 1 deletions
diff --git a/src/proof/sat_proof_implementation.h b/src/proof/sat_proof_implementation.h
index 8d7ab6151..8c65d42e7 100644
--- a/src/proof/sat_proof_implementation.h
+++ b/src/proof/sat_proof_implementation.h
@@ -285,7 +285,8 @@ bool TSatProof<Solver>::checkResolution(ClauseId id) {
       typename Solver::TLit var = steps[i].lit;
       LitSet clause2;
       createLitSet(steps[i].id, clause2);
-      if (!resolve<Solver>(var, clause1, clause2, steps[i].sign)) {
+      if (!resolve<Solver>(var, clause1, clause2, steps[i].sign))
+      {
         validRes = false;
         break;
       }