From 9fdc6978e972ce79f21f2a5d470d15fc6fc7c089 Mon Sep 17 00:00:00 2001
From: Bryan Parno <parno@microsoft.com>
Date: Mon, 27 Oct 2014 14:42:42 -0700
Subject: Ensure that no file is processed twice, even if one command-line file
 is included by another command-line file.

---
 Source/DafnyExtension/DafnyDriver.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/DafnyExtension')

diff --git a/Source/DafnyExtension/DafnyDriver.cs b/Source/DafnyExtension/DafnyDriver.cs
index e96e0743..9bfdaae7 100644
--- a/Source/DafnyExtension/DafnyDriver.cs
+++ b/Source/DafnyExtension/DafnyDriver.cs
@@ -99,7 +99,7 @@ namespace DafnyLanguage
       Dafny.BuiltIns builtIns = new Dafny.BuiltIns();
       Dafny.Errors parseErrors = new VSErrors(this);
       int errorCount = Dafny.Parser.Parse(_snapshot.GetText(), _filename, module, builtIns, parseErrors);
-      string errString = Dafny.Main.ParseIncludes(module, builtIns, parseErrors);
+      string errString = Dafny.Main.ParseIncludes(module, builtIns, new List<string>(), parseErrors);
       if (errorCount != 0 || errString != null)
         return false;
       Dafny.Program program = new Dafny.Program(_filename, module, builtIns);
-- 
cgit v1.2.3