diff options
author | 2014-10-14 12:50:52 +0200 | |
---|---|---|
committer | 2014-10-14 12:50:52 +0200 | |
commit | bfba559b28f88faa535e6f5c8b9abb059eee5233 (patch) | |
tree | 6524c9051bd9ae3cde6df87a5a164ab4ca3a7f63 /Source/DafnyDriver/DafnyDriver.cs | |
parent | 8dcec3ddb5269c5e7195a8072d13e8e547b14323 (diff) |
Minor change
Diffstat (limited to 'Source/DafnyDriver/DafnyDriver.cs')
-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 cb645d2f..99d4938e 100644 --- a/Source/DafnyDriver/DafnyDriver.cs +++ b/Source/DafnyDriver/DafnyDriver.cs @@ -126,7 +126,7 @@ namespace Microsoft.Dafny return exitValue;
}
- if (0 < CommandLineOptions.Clo.VerifySnapshots && lookForSnapshots)
+ if (0 <= CommandLineOptions.Clo.VerifySnapshots && lookForSnapshots)
{
var snapshotsByVersion = ExecutionEngine.LookForSnapshots(fileNames);
foreach (var s in snapshotsByVersion)
|