diff options
| author |  wuestholz <unknown> | 2014-12-26 11:06:02 +0100 |
|---|---|---|
| committer | wuestholz <unknown> | 2014-12-26 11:06:02 +0100 |
| commit | b6cf2d76e377af52366961d6cdee4ecb299a4e4a (patch) | |
| tree | f653cc53047359e800ee09bdaf4c84786ffab351 /Source/DafnyDriver | |
| parent | 04d57c313ae3df30cb8a0c383ef0ae4ceee361ac (diff) | |
Minor change
Diffstat (limited to 'Source/DafnyDriver')
| -rw-r--r-- | Source/DafnyDriver/DafnyDriver.cs | 2 |
1 files changed, 1 insertions, 1 deletions
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));
|