Update DafnyExtension to use the parser constructor introduced in d2e394fc4b93

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/DafnyExtension/DafnyDriver.cs b/Source/DafnyExtension/DafnyDriver.cs
index 8300213c..61328fbf 100644
--- a/Source/DafnyExtension/DafnyDriver.cs
+++ b/Source/DafnyExtension/DafnyDriver.cs
@@ -116,7 +116,7 @@ namespace DafnyLanguage
       Dafny.ModuleDecl module = new Dafny.LiteralModuleDecl(new Dafny.DefaultModuleDecl(), null);

       Dafny.BuiltIns builtIns = new Dafny.BuiltIns();

       Dafny.Errors parseErrors = new VSErrors(this);

-      int errorCount = Dafny.Parser.Parse(_snapshot.GetText(), _filename, module, builtIns, parseErrors);

+      int errorCount = Dafny.Parser.Parse(_snapshot.GetText(), _filename, _filename, module, builtIns, parseErrors);

       string errString = Dafny.Main.ParseIncludes(module, builtIns, new List<string>(), parseErrors);

       if (errorCount != 0 || errString != null)

         return false;