diff options
| author | Tim King <taking@google.com> | 2016-09-25 15:52:57 -0700 |
|---|---|---|
| committer | Tim King <taking@google.com> | 2016-09-25 15:52:57 -0700 |
| commit | b39f1f56b59dd7efeec99e0636b1a90245d1769c (patch) | |
| tree | c64aec79e6277e81a82414334e71749d10c1f029 | |
| parent | 061c6941ae2595333987897f73bb6cf32b053c4b (diff) | |
Removing an unused iterator.
| -rw-r--r-- | src/theory/quantifiers/inst_strategy_cbqi.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
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 ){ |