diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-02-21 10:09:00 -0500 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-02-21 10:09:00 -0500 |
commit | da237313b4c42b5e19e73594c2e909547af782de (patch) | |
tree | b8be9a61cd1905bc664ea692849a4b71f07b1980 /src/Makefile.am | |
parent | 45cd4907560827d1baf822ab3857b1f59efce9f0 (diff) |
disable test cvc3_main, attempt to fix dist_check
Diffstat (limited to 'src/Makefile.am')
-rw-r--r-- | src/Makefile.am | 10 |
1 files changed, 7 insertions, 3 deletions
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 \ |