From da237313b4c42b5e19e73594c2e909547af782de Mon Sep 17 00:00:00 2001 From: Kshitij Bansal Date: Fri, 21 Feb 2014 10:09:00 -0500 Subject: disable test cvc3_main, attempt to fix dist_check --- src/Makefile.am | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) (limited to 'src/Makefile.am') diff --git a/src/Makefile.am b/src/Makefile.am index 86067d3ef..279e52e09 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -220,12 +220,16 @@ libcvc4_la_SOURCES = \ theory/datatypes/theory_datatypes.h \ theory/datatypes/datatypes_rewriter.h \ theory/datatypes/theory_datatypes.cpp \ - theory/sets/theory_sets.h \ + theory/sets/expr_patterns.h \ + theory/sets/options_handlers.h \ + theory/sets/term_info.h \ theory/sets/theory_sets.cpp \ - theory/sets/theory_sets_private.h \ + theory/sets/theory_sets.h \ theory/sets/theory_sets_private.cpp \ - theory/sets/theory_sets_rewriter.h \ + theory/sets/theory_sets_private.h \ theory/sets/theory_sets_rewriter.cpp \ + theory/sets/theory_sets_rewriter.h \ + theory/sets/theory_sets_type_enumerator.h \ theory/sets/theory_sets_type_rules.h \ theory/strings/theory_strings.h \ theory/strings/theory_strings.cpp \ -- cgit v1.2.3