diff options
Diffstat (limited to 'Source/Dafny/Parser.ssc')
| -rw-r--r-- | Source/Dafny/Parser.ssc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Dafny/Parser.ssc b/Source/Dafny/Parser.ssc index 0f85bbe8..1ed06227 100644 --- a/Source/Dafny/Parser.ssc +++ b/Source/Dafny/Parser.ssc @@ -81,7 +81,7 @@ public static int Parse (string! filename, List<ModuleDecl!>! modules) /* throws string s;
if (filename == "stdin.dfy") {
s = Microsoft.Boogie.ParserHelper.Fill(System.Console.In, new List<string!>());
- return Parse(s, modules);
+ return Parse(s, filename, modules);
} else {
using (System.IO.StreamReader reader = new System.IO.StreamReader(filename)) {
s = Microsoft.Boogie.ParserHelper.Fill(reader, new List<string!>());
|