diff options
Diffstat (limited to 'src/util/sexpr.cpp')
| -rw-r--r-- | src/util/sexpr.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/sexpr.cpp b/src/util/sexpr.cpp index 045a17354..794eb7cfc 100644 --- a/src/util/sexpr.cpp +++ b/src/util/sexpr.cpp @@ -279,7 +279,7 @@ bool SExpr::languageQuotesKeywords(OutputLanguage language) { return true; case language::output::LANG_AST: case language::output::LANG_CVC3: - case language::output::LANG_CVC4: + case language::output::LANG_CVC: default: return language::isOutputLang_smt2(language); }; } |