From aa777bd5c6484e9c4d0545ee1cd529ec254f9230 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 1 Dec 2015 13:43:47 -0800
Subject: [PATCH] Fix for #343. Optimizations introduced on 8-10-2015 were too
 agressive. Remove unreferened variable

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

diff --git a/src/tactic/arith/lia2card_tactic.cpp b/src/tactic/arith/lia2card_tactic.cpp
index 092294734..b46b7a9b6 100644
--- a/src/tactic/arith/lia2card_tactic.cpp
+++ b/src/tactic/arith/lia2card_tactic.cpp
@@ -189,7 +189,6 @@ public:
                 TRACE("pb", tout << "add bound " << mk_pp(x, m) << "\n";);
             }
         }
-        expr_ref_vector fmls(m);
         expr_mark subfmls;
         for (unsigned i = 0; i < g->size(); i++) {            
             expr_ref   new_curr(m);