diff options
Diffstat (limited to 'src/parser/smt2/Smt2.g')
-rw-r--r-- | src/parser/smt2/Smt2.g | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g index 6491856a5..5e068948f 100644 --- a/src/parser/smt2/Smt2.g +++ b/src/parser/smt2/Smt2.g @@ -2435,8 +2435,9 @@ attribute[CVC4::Expr& expr, CVC4::Expr& retExpr, std::string& attr] PARSER_STATE->warning(ss.str()); } // do nothing - } else if(attr==":axiom" || attr==":conjecture" || attr==":fun-def" || - attr==":sygus" || attr==":synthesis") { + } + else if (attr==":axiom" || attr==":conjecture" || attr==":fun-def") + { if(hasValue) { std::stringstream ss; ss << "warning: Attribute " << attr |