From 0db973ab4bb95fe285559d28657c72a024240b10 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Thu, 5 Feb 2015 19:02:35 +0000
Subject: [PATCH] undid previous fix

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
 src/shell/smtlib_frontend.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/shell/smtlib_frontend.cpp b/src/shell/smtlib_frontend.cpp
index 13c928ddd..3197f8cff 100644
--- a/src/shell/smtlib_frontend.cpp
+++ b/src/shell/smtlib_frontend.cpp
@@ -124,7 +124,6 @@ unsigned read_smtlib2_commands(char const * file_name) {
             exit(ERR_OPEN_FILE);
         }
         result = parse_smt2_commands(ctx, in);
-        in.close();
     }
     else {
         result = parse_smt2_commands(ctx, std::cin, true);