diff options
Diffstat (limited to 'src/theory/quantifiers/quantifiers_attributes.cpp')
| -rw-r--r-- | src/theory/quantifiers/quantifiers_attributes.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/theory/quantifiers/quantifiers_attributes.cpp b/src/theory/quantifiers/quantifiers_attributes.cpp index 1abbd1989..33ed6f536 100644 --- a/src/theory/quantifiers/quantifiers_attributes.cpp +++ b/src/theory/quantifiers/quantifiers_attributes.cpp @@ -30,8 +30,7 @@ namespace quantifiers { bool QAttributes::isStandard() const { - return !d_sygus && !d_quant_elim && !isFunDef() && d_name.isNull() - && !d_isInternal; + return !d_sygus && !d_quant_elim && !isFunDef() && !d_isInternal; } QuantAttributes::QuantAttributes() {} |