with a small fix

diff --git a/src/prop/sat_solver.h b/src/prop/sat_solver.h
index 3b8e1ccbf245ca762ce271a42fa7ea2f439755be..e54f551fa6cc10eaac327899b916bbc2b457e8b7 100644 (file)
--- a/src/prop/sat_solver.h
+++ b/src/prop/sat_solver.h
@@ -108,7 +108,7 @@ public:
   
   virtual void renewVar(SatLiteral lit, int level = -1) = 0;
 
-  virtual int getAssertionLevel() const = 0;
+  virtual unsigned getAssertionLevel() const = 0;
 
 };