From a358ed3b520919acbb72fb9bcd2974ee4165f495 Mon Sep 17 00:00:00 2001
From: "Christopher L. Conway" <christopherleeconway@gmail.com>
Date: Wed, 12 May 2010 20:29:24 +0000
Subject: Adding ParserBuilder, reducing visibility of Parser and Input
 constructors Adding Smt2 subclass of Parser Checking for multiple calls to
 set-logic in SMT v2

---
 src/parser/Makefile.am | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/parser/Makefile.am')

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
 
-- 
cgit v1.2.3