diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-05-12 20:29:24 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-05-12 20:29:24 +0000 |
commit | a358ed3b520919acbb72fb9bcd2974ee4165f495 (patch) | |
tree | 52a9dd03f5735114cf196bafbc6a5ee6f5a40b22 /src/parser/Makefile.am | |
parent | 8d691eac8e478576ebceb6406a8e372db5e3f7f1 (diff) |
Adding ParserBuilder, reducing visibility of Parser and Input constructors
Adding Smt2 subclass of Parser
Checking for multiple calls to set-logic in SMT v2
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 7029c01e5..f95b01b8c 100644 --- a/src/parser/Makefile.am +++ b/src/parser/Makefile.am @@ -48,6 +48,8 @@ libcvc4parser_noinst_la_SOURCES = \ memory_mapped_input_buffer.cpp \ parser.h \ parser.cpp \ + parser_builder.h \ + parser_builder.cpp \ parser_options.h \ parser_exception.h |