From 03c1daa126ecd86d1434c7512b73723687ea8ca0 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 29 Apr 2014 17:57:17 -0400
Subject: Fix for --force-logic to extend its reach to the parser.

---
 src/main/interactive_shell.cpp | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/main')

diff --git a/src/main/interactive_shell.cpp b/src/main/interactive_shell.cpp
index 90229861f..a19e23725 100644
--- a/src/main/interactive_shell.cpp
+++ b/src/main/interactive_shell.cpp
@@ -32,6 +32,7 @@
 #include "parser/parser.h"
 #include "parser/parser_builder.h"
 #include "options/options.h"
+#include "smt/options.h"
 #include "main/options.h"
 #include "util/language.h"
 #include "util/output.h"
@@ -93,6 +94,9 @@ InteractiveShell::InteractiveShell(ExprManager& exprManager,
   ParserBuilder parserBuilder(&exprManager, INPUT_FILENAME, options);
   /* Create parser with bogus input. */
   d_parser = parserBuilder.withStringInput("").build();
+  if(d_options.wasSetByUser(options::forceLogic)) {
+    d_parser->forceLogic(d_options[options::forceLogic].getLogicString());
+  }
 
 #if HAVE_LIBREADLINE
   if(d_in == cin) {
-- 
cgit v1.2.3