diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-10-07 18:16:40 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-07 18:16:40 -0700 |
| commit | 97c7e81a68b31328e5bf40dd6939826e3cc1cf93 (patch) | |
| tree | 9daa06998b858d27675bb3a716728e2ede3cb385 /src/api | |
| parent | 3fac8f369bd29f9856e2b61fbb5029d780fde64b (diff) | |
[SMT2 Parser] Move code of `rewriterulesCommand` (#3334)
This commit moves the code in `rewriterulesCommand` in the SMT2 parser
to the `Smt2` class. Additionally, it creates a `boundVarList` rule to
reduce code duplication.
Diffstat (limited to 'src/api')
0 files changed, 0 insertions, 0 deletions