From c2cbd1351add01085ea45a9b51a07d1e39a5cd42 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Sun, 19 Oct 2014 15:07:27 +0200
Subject: DafnyExtension: Fixed minor issue in the menu.

---
 Source/DafnyExtension/DafnyDriver.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/DafnyExtension')

diff --git a/Source/DafnyExtension/DafnyDriver.cs b/Source/DafnyExtension/DafnyDriver.cs
index 3d4e7916..e96e0743 100644
--- a/Source/DafnyExtension/DafnyDriver.cs
+++ b/Source/DafnyExtension/DafnyDriver.cs
@@ -224,7 +224,7 @@ namespace DafnyLanguage
     public static int ChangeIncrementalVerification(int mode)
     {
       var old = Dafny.DafnyOptions.Clo.VerifySnapshots;
-      if (mode == 1 && old != 0)
+      if (mode == 1 && 1 <= old)
       {
         // Disable mode 1.
         Dafny.DafnyOptions.Clo.VerifySnapshots = 0;
-- 
cgit v1.2.3