From 2733899c01d38b5b43a1b1b1957ad58ae88b8d6e Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Fri, 5 Jun 2015 09:30:44 +0100 Subject: [PATCH] remove unused var Signed-off-by: Nuno Lopes --- src/tactic/arith/card2bv_tactic.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/tactic/arith/card2bv_tactic.cpp b/src/tactic/arith/card2bv_tactic.cpp index 7c715e6e7..465173196 100644 --- a/src/tactic/arith/card2bv_tactic.cpp +++ b/src/tactic/arith/card2bv_tactic.cpp @@ -485,7 +485,6 @@ public: return; } - unsigned size = g->size(); expr_ref new_f1(m), new_f2(m); proof_ref new_pr1(m), new_pr2(m); for (unsigned idx = 0; !g->inconsistent() && idx < g->size(); idx++) {