diff options
Diffstat (limited to 'src/parser/Makefile.am')
| -rw-r--r-- | src/parser/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/parser/Makefile.am b/src/parser/Makefile.am index ca10de684..a316019fd 100644 --- a/src/parser/Makefile.am +++ b/src/parser/Makefile.am @@ -46,6 +46,8 @@ libcvc4parser_la_SOURCES = \ bounded_token_factory.h \ input.cpp \ input.h \ + line_buffer.cpp \ + line_buffer.h \ memory_mapped_input_buffer.cpp \ memory_mapped_input_buffer.h \ parser.cpp \ |