diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-07-28 11:59:28 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-28 13:59:28 -0500 |
| commit | e8bbee7afb039834955aee96d181b499550a28fe (patch) | |
| tree | 46913b75f97fa8a03d7eaeb1a8602090ea31c877 /src/smt/set_defaults.cpp | |
| parent | b224d8415386f685db31ce49f3cd331be842729e (diff) | |
Replace Expr with Node in Term/Op (#4781)
This commit changes Term and Op to use Nodes internally instead of
Exprs. This is a step towards removing the Expr-layer. This commit also
adds some missing checks regarding the number of arguments for a given
kind that were previously missing, which caused issues in unit tests when
using Node instead of Expr.
Diffstat (limited to 'src/smt/set_defaults.cpp')
0 files changed, 0 insertions, 0 deletions