1 files changed, 13 insertions, 10 deletions
diff --git a/src/prop/cryptominisat.cpp b/src/prop/cryptominisat.cpp
index 5328206b1..77cc6be4d 100644
--- a/src/prop/cryptominisat.cpp
+++ b/src/prop/cryptominisat.cpp
@@ -58,6 +58,17 @@ void toInternalClause(SatClause& clause,
   Assert(clause.size() == internal_clause.size());
 }
 
+SatLiteral toSatLiteral(CMSat::Lit lit)
+{
+  if (lit == CMSat::lit_Undef)
+  {
+    return undefSatLiteral;
+  }
+
+  return SatLiteral(lit.var(), lit.sign());
+}
+}  // namespace
+
 }  // helper functions
 
 CryptoMinisatSolver::CryptoMinisatSolver(StatisticsRegistry* registry,
@@ -176,7 +187,8 @@ SatValue CryptoMinisatSolver::solve(const std::vector<SatLiteral>& assumptions)
   return toSatLiteralValue(d_solver->solve(&assumpts));
 }
 
-SatValue CryptoMinisatSolver::simp(){
+SatValue CryptoMinisatSolver::simplify()
+{
   return toSatLiteralValue(d_solver->simplify());
 }
   
@@ -205,15 +217,6 @@ std::vector<SatLiteral> CryptoMinisatSolver::getTopLevelUnits(){
   return satLits;
 }
 
-SatLiteral CryptoMinisatSolver::toSatLiteral(CMSat::Lit lit) {
-  if (lit == CMSat::lit_Undef) {
-    return undefSatLiteral;
-  }
-
-  return SatLiteral(lit.var(),
-                    lit.sign());
-}
-
 // Satistics for CryptoMinisatSolver
 
 CryptoMinisatSolver::Statistics::Statistics(StatisticsRegistry* registry,