1 files changed, 1 insertions, 4 deletions
diff --git a/src/prop/sat_solver.h b/src/prop/sat_solver.h
index 25b2ccc39..2d8fd460a 100644
--- a/src/prop/sat_solver.h
+++ b/src/prop/sat_solver.h
@@ -83,11 +83,8 @@ public:
   };
 
   /** Simplify the formula **/
-  virtual SatValue simp(){
-    return SAT_VALUE_UNKNOWN;
-  };
+  virtual SatValue simplify() { return SAT_VALUE_UNKNOWN; };
 
-  
   /** Interrupt the solver */
   virtual void interrupt() = 0;