diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-09-03 09:54:41 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-03 16:54:41 +0000 |
commit | da047b41fa252cf8087d95c91688b9cdc3ba6114 (patch) | |
tree | ace8b5dfce985d81a3d844de1a750e68e9739852 /src/theory/quantifiers/term_util.cpp | |
parent | 39dd4cf7678da7bbce2a0aaf4d9b44d3f885ea49 (diff) |
sygus: Make CeSingleInv derive from EnvObj. (#7136)
This further reorders the header according to the code style guidelines.
Diffstat (limited to 'src/theory/quantifiers/term_util.cpp')
0 files changed, 0 insertions, 0 deletions