diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-12-01 15:02:08 +0100 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-12-01 15:02:08 +0100 |
| commit | 201ae337e8e1531d1ae68a0ae536e34850edecd3 (patch) | |
| tree | 0f4a511cd12beaf3865c1d3ea6aa45ffcf73abbf /src/Makefile.am | |
| parent | e6b097f5f43405951561994009e8d7e6ed8772f4 (diff) | |
More work on --cegqi-si-partial, incomplete.
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 3c482413b..fe38ddf71 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -333,6 +333,8 @@ libcvc4_la_SOURCES = \ theory/quantifiers/ce_guided_single_inv.cpp \ theory/quantifiers/ce_guided_single_inv_sol.h \ theory/quantifiers/ce_guided_single_inv_sol.cpp \ + theory/quantifiers/ce_guided_single_inv_ei.h \ + theory/quantifiers/ce_guided_single_inv_ei.cpp \ theory/quantifiers/local_theory_ext.h \ theory/quantifiers/local_theory_ext.cpp \ theory/quantifiers/fun_def_process.h \ |