Set up the same test infrastructure as in Boogie.

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/Dafny/Dafny.atg b/Source/Dafny/Dafny.atg
index b54e3a6b..74aa4abd 100644
--- a/Source/Dafny/Dafny.atg
+++ b/Source/Dafny/Dafny.atg
@@ -45,7 +45,7 @@ public static int Parse (string/*!*/ filename, ModuleDecl module, BuiltIns built
   } else {

     using (System.IO.StreamReader reader = new System.IO.StreamReader(filename)) {

       s = Microsoft.Boogie.ParserHelper.Fill(reader, new List<string>());

-      return Parse(s, filename, module, builtIns, errors, verifyThisFile);

+      return Parse(s, DafnyOptions.Clo.UseBaseNameForFileName ? Path.GetFileName(filename) : filename, module, builtIns, errors, verifyThisFile);

     }

   }

 }