From bfbe1d5c50547a6040bec1e9f07d47185838aeee Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Sat, 21 Jun 2014 21:13:12 -0400
Subject: Fix compiler warnings in BV-related code (unused vars mostly).

---
 src/prop/bvminisat/bvminisat.h | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/prop/bvminisat/bvminisat.h')

diff --git a/src/prop/bvminisat/bvminisat.h b/src/prop/bvminisat/bvminisat.h
index 568d89f7f..f9d0fbd6a 100644
--- a/src/prop/bvminisat/bvminisat.h
+++ b/src/prop/bvminisat/bvminisat.h
@@ -55,7 +55,6 @@ private:
   BVMinisat::SimpSolver* d_minisat;
   MinisatNotify* d_minisatNotify;
 
-  unsigned d_solveCount;
   unsigned d_assertionsCount;
   context::CDO<unsigned> d_assertionsRealCount;
   context::CDO<unsigned> d_lastPropagation;
-- 
cgit v1.2.3