diff options
Diffstat (limited to 'src/smt_util/Makefile.am')
| -rw-r--r-- | src/smt_util/Makefile.am | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/smt_util/Makefile.am b/src/smt_util/Makefile.am index 3b457f641..ae1ea1f70 100644 --- a/src/smt_util/Makefile.am +++ b/src/smt_util/Makefile.am @@ -12,12 +12,14 @@ libsmtutil_la_SOURCES = \ boolean_simplification.h \ command.cpp \ command.h \ - dump.h \ dump.cpp \ - lemma_input_channel.h \ - lemma_output_channel.h \ + 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 \ |