diff options
Diffstat (limited to 'src/theory/quantifiers/equality_query.cpp')
-rw-r--r-- | src/theory/quantifiers/equality_query.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/equality_query.cpp b/src/theory/quantifiers/equality_query.cpp index 355375d06..f806234ef 100644 --- a/src/theory/quantifiers/equality_query.cpp +++ b/src/theory/quantifiers/equality_query.cpp @@ -230,7 +230,7 @@ int EqualityQueryQuantifiersEngine::getRepScore(Node n, int index, TypeNode v_tn) { - if( options::cbqi() && quantifiers::TermUtil::hasInstConstAttr(n) ){ //reject + if( options::cegqi() && quantifiers::TermUtil::hasInstConstAttr(n) ){ //reject return -2; }else if( !n.getType().isSubtypeOf( v_tn ) ){ //reject if incorrect type return -2; |