more datail from the build failure

4 files changed, 4 insertions, 4 deletions

diff --git a/src/prop/bvminisat/bvminisat.cpp b/src/prop/bvminisat/bvminisat.cpp
index d4e123489..3d2d4c9ea 100644
--- a/src/prop/bvminisat/bvminisat.cpp
+++ b/src/prop/bvminisat/bvminisat.cpp
@@ -120,7 +120,7 @@ void MinisatSatSolver::renewVar(SatLiteral lit, int level) {
   Unreachable();
 }
 
-int MinisatSatSolver::getAssertionLevel() const {
+unsigned MinisatSatSolver::getAssertionLevel() const {
   // we have no user context implemented so far
   return 0;
 }
diff --git a/src/prop/bvminisat/bvminisat.h b/src/prop/bvminisat/bvminisat.h
index 7c12fcbd0..ed164904e 100644
--- a/src/prop/bvminisat/bvminisat.h
+++ b/src/prop/bvminisat/bvminisat.h
@@ -48,7 +48,7 @@ public:
 
   void unregisterVar(SatLiteral lit);
   void renewVar(SatLiteral lit, int level = -1);
-  int getAssertionLevel() const;
+  unsigned getAssertionLevel() const;
 
 
   // helper methods for converting from the internal Minisat representation
diff --git a/src/prop/minisat/minisat.cpp b/src/prop/minisat/minisat.cpp
index bc611a097..ede18c585 100644
--- a/src/prop/minisat/minisat.cpp
+++ b/src/prop/minisat/minisat.cpp
@@ -161,7 +161,7 @@ bool DPLLMinisatSatSolver::properExplanation(SatLiteral lit, SatLiteral expl) co
 
 /** Incremental interface */
 
-int DPLLMinisatSatSolver::getAssertionLevel() const {
+unsigned DPLLMinisatSatSolver::getAssertionLevel() const {
   return d_minisat->getAssertionLevel();
 }
 
diff --git a/src/prop/minisat/minisat.h b/src/prop/minisat/minisat.h
index 81a12c491..dc06753ab 100644
--- a/src/prop/minisat/minisat.h
+++ b/src/prop/minisat/minisat.h
@@ -69,7 +69,7 @@ public:
 
   /** Incremental interface */
 
-  int getAssertionLevel() const;
+  unsigned getAssertionLevel() const;
 
   void push();