diff options
Diffstat (limited to 'src/parser/smt/Makefile.am')
-rw-r--r-- | src/parser/smt/Makefile.am | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/parser/smt/Makefile.am b/src/parser/smt/Makefile.am index 6f5f1bfd4..96ad9c27f 100644 --- a/src/parser/smt/Makefile.am +++ b/src/parser/smt/Makefile.am @@ -24,8 +24,6 @@ ANTLR_STUFF = \ libparsersmt_la_SOURCES = \ smt_lexer.g \ smt_parser.g \ - smt_parser.h \ - smt_parser.cpp \ $(ANTLR_STUFF) BUILT_SOURCES = $(ANTLR_STUFF) |