diff options
-rw-r--r-- | Source/ExecutionEngine/ExecutionEngine.cs | 4 |
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>();
|