From: Christopher L. Conway <christopherleeconway@gmail.com>
Date: Wed, 20 Oct 2010 21:49:22 +0000 (+0000)
Subject: Enabling semantic checks in ParserBuilder
X-Git-Tag: cvc5-1.0.0~8795
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5a8b70ca247b52f7ac3804bae71fdc09cd4fe8c3;p=cvc5.git

Enabling semantic checks in ParserBuilder
---

diff --git a/src/parser/parser_builder.cpp b/src/parser/parser_builder.cpp
index dcc052c3a..31f402df1 100644
--- a/src/parser/parser_builder.cpp
+++ b/src/parser/parser_builder.cpp
@@ -95,6 +95,12 @@ Parser *ParserBuilder::build() throw (InputStreamException,AssertionException) {
     parser = new Parser(&d_exprManager, input, d_strictMode);
   }
 
+  if( d_checksEnabled ) {
+    parser->enableChecks();
+  } else {
+    parser->disableChecks();
+  }
+
   return parser;
 }