From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Mon, 26 Mar 2012 12:25:12 +0000 (+0000)
Subject: with a small fix
X-Git-Tag: cvc5-1.0.0~8264
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b36ec4366123452550a1f0772ca0508dd49e66b9;p=cvc5.git

with a small fix
---

diff --git a/src/prop/sat_solver.h b/src/prop/sat_solver.h
index 3b8e1ccbf..e54f551fa 100644
--- 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;
 
 };