1 files changed, 3 insertions, 1 deletions
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;
 }