diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-04-01 19:55:45 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-04-01 19:55:45 +0000 |
commit | ed25d7b7527691442ab48d02353e20c87ab8e2da (patch) | |
tree | af5aef20666cba7da52c74c57a8cadae5081ae92 /src/parser/Makefile.am | |
parent | bc05271730c9bbd096a6dbace366016529933246 (diff) |
Parser tweaks to address review
Private members of Input moved to new class ParserState
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 5d8b75f38..1aaf7ab69 100644 --- a/src/parser/Makefile.am +++ b/src/parser/Makefile.am @@ -46,5 +46,7 @@ libcvc4parser_noinst_la_SOURCES = \ memory_mapped_input_buffer.cpp \ parser_options.h \ parser_exception.h \ + parser_state.h \ + parser_state.cpp \ symbol_table.h |