From 0e513c05b2e0ae3b8e2d08514ccb8007258f963b Mon Sep 17 00:00:00 2001 From: ajreynol Date: Mon, 10 Jul 2017 14:35:47 -0500 Subject: Separate sygus term utilities to new file, minor cleanup from last commit. --- src/Makefile.am | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/Makefile.am') 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 \ -- cgit v1.2.3