From 088dc411bab7e65d99180245f94f0afd71fb9737 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Thu, 5 Feb 2015 18:32:36 +0000
Subject: [PATCH] fixed potential handle leak

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

diff --git a/src/shell/smtlib_frontend.cpp b/src/shell/smtlib_frontend.cpp
index 3197f8cff..13c928ddd 100644
--- a/src/shell/smtlib_frontend.cpp
+++ b/src/shell/smtlib_frontend.cpp
@@ -124,6 +124,7 @@ 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);