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/expr/node_manager.h | |
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/expr/node_manager.h')
0 files changed, 0 insertions, 0 deletions