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/DafnyMenu/DafnyMenuPackage.cs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Source/DafnyMenu')

diff --git a/Source/DafnyMenu/DafnyMenuPackage.cs b/Source/DafnyMenu/DafnyMenuPackage.cs
index 58bf2a26..0acf3554 100644
--- a/Source/DafnyMenu/DafnyMenuPackage.cs
+++ b/Source/DafnyMenu/DafnyMenuPackage.cs
@@ -147,6 +147,7 @@ namespace DafnyLanguage.DafnyMenu
 
         var toggleMoreAdvancedSnapshotVerificationCommandID = new CommandID(GuidList.guidDafnyMenuCmdSet, (int)PkgCmdIDList.cmdidToggleMoreAdvancedSnapshotVerification);
         toggleMoreAdvancedSnapshotVerificationCommand = new OleMenuCommand(ToggleMoreAdvancedSnapshotVerificationCallback, toggleMoreAdvancedSnapshotVerificationCommandID);
+        toggleMoreAdvancedSnapshotVerificationCommand.Enabled = true;
         toggleMoreAdvancedSnapshotVerificationCommand.BeforeQueryStatus += toggleMoreAdvancedSnapshotVerificationCommand_BeforeQueryStatus;
         mcs.AddCommand(toggleMoreAdvancedSnapshotVerificationCommand);
 
-- 
cgit v1.2.3