Dafny:

* re-introduced the feature where an input filename of "stdin.dfy" says to read the program from standard input
* supplied missing case (NotInSet) in Compiler.ssc

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!>());