diff options
author | leino <unknown> | 2014-10-14 13:42:03 -0700 |
---|---|---|
committer | leino <unknown> | 2014-10-14 13:42:03 -0700 |
commit | 849146322a0b0722af004a28eafd589b80801729 (patch) | |
tree | abc959b883157e4a5e11f0c2f78f630216cbd606 /Source | |
parent | ebcff257d69ebe04486b79bd4c2496907f1e810d (diff) | |
parent | bfba559b28f88faa535e6f5c8b9abb059eee5233 (diff) |
Merge
Diffstat (limited to 'Source')
-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)
|