diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-05-19 11:54:11 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-05-19 11:54:11 -0700 |
| commit | 9087bb0fbc57c065ce9f0c3d1b1dbf4a67bd4a3d (patch) | |
| tree | 4333edfa486a1a0ff736217929179291638ce983 /Source | |
| parent | de0a78a69aac57b2189caf7d8490975f25aea91a (diff) | |
| parent | f3479b9210bb04d78ff8459dab260c3637325ade (diff) | |
Merge
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/Core/BoogiePL.atg | 4 | ||||
| -rw-r--r-- | Source/Core/Parser.cs | 4 |
2 files changed, 6 insertions, 2 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;
}
diff --git a/Source/Core/Parser.cs b/Source/Core/Parser.cs index 71804945..5e5dd178 100644 --- a/Source/Core/Parser.cs +++ b/Source/Core/Parser.cs @@ -59,7 +59,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;
}
|