diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-07-27 09:51:02 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-27 14:51:02 +0000 |
commit | 4239b8bf84fcea902802812508668c866f700dda (patch) | |
tree | f81a055962c1114ddd4e159cc64621672569f66b /src/CMakeLists.txt | |
parent | 2bb47a96e61babeedfd717104a9ec80b559017a9 (diff) |
Move enum value generator to own file (#6941)
Work towards integrating the enumerator callback into the fast enumerator.
Diffstat (limited to 'src/CMakeLists.txt')
-rw-r--r-- | src/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 9f208ac46..2877ab820 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -859,6 +859,7 @@ libcvc5_add_sources( theory/quantifiers/sygus/cegis_core_connective.h theory/quantifiers/sygus/cegis_unif.cpp theory/quantifiers/sygus/cegis_unif.h + theory/quantifiers/sygus/enum_val_generator.h theory/quantifiers/sygus/example_eval_cache.cpp theory/quantifiers/sygus/example_eval_cache.h theory/quantifiers/sygus/example_infer.cpp |