From: Tim King <taking@google.com>
Date: Sun, 25 Sep 2016 22:52:57 +0000 (-0700)
Subject: Removing an unused iterator.
X-Git-Tag: cvc5-1.0.0~6028^2~32
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b39f1f56b59dd7efeec99e0636b1a90245d1769c;p=cvc5.git

Removing an unused iterator.
---

diff --git a/src/theory/quantifiers/inst_strategy_cbqi.cpp b/src/theory/quantifiers/inst_strategy_cbqi.cpp
index 9ee62964b..165c9904d 100644
--- a/src/theory/quantifiers/inst_strategy_cbqi.cpp
+++ b/src/theory/quantifiers/inst_strategy_cbqi.cpp
@@ -406,7 +406,6 @@ Node InstStrategyCbqi::doNestedQENode( Node q, Node ceq, Node n, std::vector< No
 }
 
 Node InstStrategyCbqi::doNestedQERec( Node q, Node n, std::map< Node, Node >& visited, std::vector< Node >& inst_terms, bool doVts ) {
-  std::map< Node, Node >::iterator it = visited.find( n );
   if( visited.find( n )==visited.end() ){
     Node ret = n;
     if( n.getKind()==FORALL ){