From 94c192b6e706fd296bae7d08fecab8dbc9592172 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Fri, 26 Dec 2014 11:01:41 +0100
Subject: Minor change

---
 Source/ExecutionEngine/ExecutionEngine.cs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Source/ExecutionEngine')

diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs
index 92be2e0a..8187db01 100644
--- a/Source/ExecutionEngine/ExecutionEngine.cs
+++ b/Source/ExecutionEngine/ExecutionEngine.cs
@@ -536,11 +536,11 @@ namespace Microsoft.Boogie
       }
     }
 
-    public static List<List<string>> LookForSnapshots(List<string> fileNames)
+    public static IList<IList<string>> LookForSnapshots(IList<string> fileNames)
     {
       Contract.Requires(fileNames != null);
 
-      var result = new List<List<string>>();
+      var result = new List<IList<string>>();
       for (int version = 0; true; version++)
       {
         var nextSnapshot = new List<string>();
-- 
cgit v1.2.3