diff options
Diffstat (limited to 'src/parser/Makefile.am')
| -rw-r--r-- | src/parser/Makefile.am | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/parser/Makefile.am b/src/parser/Makefile.am index 4f00cfb3d..f14941d01 100644 --- a/src/parser/Makefile.am +++ b/src/parser/Makefile.am @@ -45,6 +45,8 @@ libcvc4parser_la_SOURCES = \ antlr_input.h \ antlr_input.cpp \ antlr_input_imports.cpp \ + antlr_line_buffered_input.h \ + antlr_line_buffered_input.cpp \ bounded_token_buffer.h \ bounded_token_buffer.cpp \ bounded_token_factory.h \ @@ -64,6 +66,8 @@ libcvc4parser_noinst_la_SOURCES = \ antlr_input.h \ antlr_input.cpp \ antlr_input_imports.cpp \ + antlr_line_buffered_input.h \ + antlr_line_buffered_input.cpp \ bounded_token_buffer.h \ bounded_token_buffer.cpp \ bounded_token_factory.h \ |