From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Fri, 21 Feb 2014 09:58:31 +0000 (-0500)
Subject: fix a -Wunused
X-Git-Tag: cvc5-1.0.0~7076^2~2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=53b8499f48a00dc876d56c76fbc79aafe5803529;p=cvc5.git

fix a -Wunused
---

diff --git a/src/theory/quantifiers/inst_match.cpp b/src/theory/quantifiers/inst_match.cpp
index e72e19119..4a23f1c97 100644
--- a/src/theory/quantifiers/inst_match.cpp
+++ b/src/theory/quantifiers/inst_match.cpp
@@ -255,7 +255,7 @@ bool CDInstMatchTrie::addInstMatch( QuantifiersEngine* qe, Node f, std::vector<
     }
 
     if( !onlyExist ){
-      std::map< Node, CDInstMatchTrie* >::iterator it = d_data.find( n );
+      // std::map< Node, CDInstMatchTrie* >::iterator it = d_data.find( n );
       CDInstMatchTrie* imt = new CDInstMatchTrie( c );
       d_data[n] = imt;
       imt->addInstMatch( qe, f, m, c, modEq, modInst, index+1, false );