Minor change

1 files changed, 2 insertions, 2 deletions

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>();