From e7fb24bc6fb8f4a1a76055a539e15aee52191b35 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Mon, 23 Jun 2014 23:37:09 +0200
Subject: DafnyExtension: Made it possible to activate the more advanced
 verification result caching in Boogie (experimental for now).

---
 Source/DafnyMenu/PkgCmdID.cs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Source/DafnyMenu/PkgCmdID.cs')

diff --git a/Source/DafnyMenu/PkgCmdID.cs b/Source/DafnyMenu/PkgCmdID.cs
index f3452cb9..b6f30145 100644
--- a/Source/DafnyMenu/PkgCmdID.cs
+++ b/Source/DafnyMenu/PkgCmdID.cs
@@ -12,5 +12,6 @@ namespace DafnyLanguage.DafnyMenu
     public const uint cmdidMenu = 0x1021;
     public static uint cmdidToggleSnapshotVerification = 0x103;
     public const uint cmdidToggleBVD = 0x104;
+    public static uint cmdidToggleMoreAdvancedSnapshotVerification = 0x105;
   };
 }
\ No newline at end of file
-- 
cgit v1.2.3