From 9918f0e86a38f5fc8671ec6115eaac9b2c3b31d8 Mon Sep 17 00:00:00 2001
From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Mon, 26 Mar 2012 12:29:21 +0000
Subject: more datail from the build failure

---
 src/prop/bvminisat/bvminisat.cpp | 2 +-
 src/prop/bvminisat/bvminisat.h   | 2 +-
 src/prop/minisat/minisat.cpp     | 2 +-
 src/prop/minisat/minisat.h       | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

(limited to 'src')

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();
 
-- 
cgit v1.2.3