From 1e235659c7fac37a6a1b575619ad384d0de47c00 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 9 May 2014 11:05:22 -0700
Subject: [PATCH] unreferenced variable

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/theory_pb.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/smt/theory_pb.cpp b/src/smt/theory_pb.cpp
index 1ae3634aa..cb52f0e79 100644
--- a/src/smt/theory_pb.cpp
+++ b/src/smt/theory_pb.cpp
@@ -760,7 +760,6 @@ namespace smt {
     }
 
     void theory_pb::assign_eh(bool_var v, bool is_true) {
-        context& ctx = get_context();
         ptr_vector<ineq>* ineqs = 0;
         literal nlit(v, is_true);
         TRACE("pb", tout << "assign: " << ~nlit << "\n";);