From d9d71e0d7885d32ef44fbd08d47b3cccd35ff6f7 Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Tue, 16 Oct 2012 21:59:50 +0000 Subject: more cleanup of quantifiers code --- src/theory/quantifiers/inst_gen.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/theory/quantifiers/inst_gen.cpp') diff --git a/src/theory/quantifiers/inst_gen.cpp b/src/theory/quantifiers/inst_gen.cpp index 324165692..ea58840f5 100755 --- a/src/theory/quantifiers/inst_gen.cpp +++ b/src/theory/quantifiers/inst_gen.cpp @@ -44,8 +44,8 @@ InstGenProcess::InstGenProcess( Node n ) : d_node( n ){ } void InstGenProcess::addMatchValue( QuantifiersEngine* qe, Node f, Node val, InstMatch& m ){ - if( !qe->existsInstantiation( f, m, true, true ) ){ - //if( d_inst_trie[val].addInstMatch( qe, f, m, true, NULL, true ) ){ + if( !qe->existsInstantiation( f, m, true ) ){ + //if( d_inst_trie[val].addInstMatch( qe, f, m, true ) ){ d_match_values.push_back( val ); d_matches.push_back( InstMatch( &m ) ); //} -- cgit v1.2.3