From b6cf2d76e377af52366961d6cdee4ecb299a4e4a Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Fri, 26 Dec 2014 11:06:02 +0100
Subject: Minor change

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

(limited to 'Source/DafnyDriver')

diff --git a/Source/DafnyDriver/DafnyDriver.cs b/Source/DafnyDriver/DafnyDriver.cs
index 16349ccc..53d1cbdf 100644
--- a/Source/DafnyDriver/DafnyDriver.cs
+++ b/Source/DafnyDriver/DafnyDriver.cs
@@ -114,7 +114,7 @@ namespace Microsoft.Dafny
     }
 
 
-    static ExitValue ProcessFiles(List<string/*!*/>/*!*/ fileNames, bool lookForSnapshots = true, string programId = null)
+    static ExitValue ProcessFiles(IList<string/*!*/>/*!*/ fileNames, bool lookForSnapshots = true, string programId = null)
     {
       Contract.Requires(cce.NonNullElements(fileNames));
 
-- 
cgit v1.2.3