From b39f1f56b59dd7efeec99e0636b1a90245d1769c Mon Sep 17 00:00:00 2001 From: Tim King Date: Sun, 25 Sep 2016 15:52:57 -0700 Subject: [PATCH] Removing an unused iterator. --- src/theory/quantifiers/inst_strategy_cbqi.cpp | 1 - 1 file changed, 1 deletion(-) 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 ){ -- 2.30.2