1 files changed, 2 insertions, 2 deletions
diff --git a/src/prop/cryptominisat.cpp b/src/prop/cryptominisat.cpp
index ec0fb2d54..a775501ff 100644
--- a/src/prop/cryptominisat.cpp
+++ b/src/prop/cryptominisat.cpp
@@ -185,11 +185,11 @@ SatValue CryptoMinisatSolver::value(SatLiteral l){
   CMSatVar var = l.getSatVariable();
   Assert (var < model.size());
   CMSat::lbool value = model[var];
-  return toSatLiteralValue(value); 
+  return toSatLiteralValue(value);
 }
 
 SatValue CryptoMinisatSolver::modelValue(SatLiteral l){
-  return value(l);
+  return value(l); 
 }
 
 unsigned CryptoMinisatSolver::getAssertionLevel() const {