diff options
author | wuestholz <unknown> | 2014-10-14 12:50:10 +0200 |
---|---|---|
committer | wuestholz <unknown> | 2014-10-14 12:50:10 +0200 |
commit | 40c7b73bda334bdfe89e50a0f72d2e3a49e009b4 (patch) | |
tree | c2d334b09a882ba5d30f180bbc0adec5efd046c4 /Source/ExecutionEngine/ExecutionEngine.cs | |
parent | a6bd13af85d15dddd0d1da73ee2a7384286216ad (diff) |
Minor change
Diffstat (limited to 'Source/ExecutionEngine/ExecutionEngine.cs')
-rw-r--r-- | Source/ExecutionEngine/ExecutionEngine.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs index 86c7502c..10c5e01a 100644 --- a/Source/ExecutionEngine/ExecutionEngine.cs +++ b/Source/ExecutionEngine/ExecutionEngine.cs @@ -459,7 +459,7 @@ namespace Microsoft.Boogie return;
}
- if (0 < CommandLineOptions.Clo.VerifySnapshots && lookForSnapshots)
+ if (0 <= CommandLineOptions.Clo.VerifySnapshots && lookForSnapshots)
{
var snapshotsByVersion = LookForSnapshots(fileNames);
foreach (var s in snapshotsByVersion)
|