diff options
Diffstat (limited to 'src/smt_util/Makefile.am')
-rw-r--r-- | src/smt_util/Makefile.am | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/src/smt_util/Makefile.am b/src/smt_util/Makefile.am index ae1ea1f70..46f6493a9 100644 --- a/src/smt_util/Makefile.am +++ b/src/smt_util/Makefile.am @@ -10,23 +10,11 @@ libsmtutil_la_SOURCES = \ Makefile.in \ boolean_simplification.cpp \ boolean_simplification.h \ - command.cpp \ - command.h \ - dump.cpp \ - dump.h \ - ite_removal.cpp \ - ite_removal.h \ lemma_channels.cpp \ lemma_channels.h \ lemma_input_channel.h \ lemma_output_channel.h \ - model.cpp \ - model.h \ nary_builder.cpp \ nary_builder.h \ node_visitor.h - -EXTRA_DIST = \ - command.i - |