diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-07-10 14:35:47 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-07-10 14:35:47 -0500 |
| commit | 0e513c05b2e0ae3b8e2d08514ccb8007258f963b (patch) | |
| tree | 0b0b458a1a3d6415f4b7ff1f298fcd443cbb37fb /src/Makefile.am | |
| parent | f3590092818d9eab9d961ea602093029ff472a85 (diff) | |
Separate sygus term utilities to new file, minor cleanup from last commit.
Diffstat (limited to 'src/Makefile.am')
| -rw-r--r-- | src/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 6cbed6fda..847eecedc 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -413,6 +413,8 @@ libcvc4_la_SOURCES = \ theory/quantifiers/symmetry_breaking.h \ theory/quantifiers/term_database.cpp \ theory/quantifiers/term_database.h \ + theory/quantifiers/term_database_sygus.cpp \ + theory/quantifiers/term_database_sygus.h \ theory/quantifiers/theory_quantifiers.cpp \ theory/quantifiers/theory_quantifiers.h \ theory/quantifiers/theory_quantifiers_type_rules.h \ |