diff options
author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2020-06-05 11:10:34 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-05 11:10:34 -0300 |
commit | 7aa98fa461932db12c05820e685772d2aa983993 (patch) | |
tree | bf015b4e77c6d2834bf5679d2bd596274c4c749a /src | |
parent | 80b0795702e71d54ed7c17ba809eebde628eb516 (diff) |
Changing default language (#4561)
Useful to avoid issues when a language is not set and it cannot be easily inferred (for example via the API). Since the language that covers most operators in CVC4 is the SMT one we use that as default now.
Diffstat (limited to 'src')
-rw-r--r-- | src/printer/printer.cpp | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/printer/printer.cpp b/src/printer/printer.cpp index f8d62a8be..332af6e48 100644 --- a/src/printer/printer.cpp +++ b/src/printer/printer.cpp @@ -122,9 +122,10 @@ Printer* Printer::getPrinter(OutputLanguage lang) lang = language::toOutputLanguage(options::inputLanguage()); } } - if(lang == language::output::LANG_AUTO) { - lang = language::output::LANG_CVC4; // default - } + if (lang == language::output::LANG_AUTO) + { + lang = language::output::LANG_SMTLIB_V2_6; // default + } } if(d_printers[lang] == NULL) { d_printers[lang] = makePrinter(lang); |