1 files changed, 3 insertions, 3 deletions
diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/DafnyDriver.cs b/Util/VS2010/DafnyExtension/DafnyExtension/DafnyDriver.cs
index f24aee55..f5f41e2c 100644
--- a/Util/VS2010/DafnyExtension/DafnyExtension/DafnyDriver.cs
+++ b/Util/VS2010/DafnyExtension/DafnyExtension/DafnyDriver.cs
@@ -125,12 +125,12 @@ namespace DafnyLanguage
     }
 
     bool ParseAndTypeCheck() {
-      List<Dafny.ModuleDecl> modules = new List<Dafny.ModuleDecl>();
+      Dafny.ModuleDecl module = new Dafny.LiteralModuleDecl(new Dafny.DefaultModuleDecl(), null);
       Dafny.BuiltIns builtIns = new Dafny.BuiltIns();
-      int errorCount = Dafny.Parser.Parse(_programText, _filename, modules, builtIns, new VSErrors(this));
+      int errorCount = Dafny.Parser.Parse(_programText, _filename, module, builtIns, new VSErrors(this));
       if (errorCount != 0)
         return false;
-      Dafny.Program program = new Dafny.Program(_filename, modules, builtIns);
+      Dafny.Program program = new Dafny.Program(_filename, module, builtIns);
 
       Dafny.Resolver r = new VSResolver(program, this);
       r.ResolveProgram(program);