From 3a76682df837bf7cb391bca0061998a970c2704f Mon Sep 17 00:00:00 2001
From: Unknown <akashl@MSRI-Akashlal.fareast.corp.microsoft.com>
Date: Thu, 19 May 2011 12:21:41 +0530
Subject: close the file stream opened by the parser

---
 Source/Core/BoogiePL.atg | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Source/Core/BoogiePL.atg')

diff --git a/Source/Core/BoogiePL.atg b/Source/Core/BoogiePL.atg
index b7743983..ec27422e 100644
--- a/Source/Core/BoogiePL.atg
+++ b/Source/Core/BoogiePL.atg
@@ -40,7 +40,9 @@ Contract.Requires(cce.NonNullElements(defines,true));
 
 
   FileStream stream = new FileStream(filename, FileMode.Open, FileAccess.Read, FileShare.Read);
-  return Parse(stream, filename, defines, out program);
+  var ret = Parse(stream, filename, defines, out program);
+  stream.Close();
+  return ret;
 }
 
   
-- 
cgit v1.2.3