1 files changed, 2 insertions, 1 deletions
diff --git a/Source/ModelViewer/Main.cs b/Source/ModelViewer/Main.cs
index a226ed6c..0a67c9a9 100644
--- a/Source/ModelViewer/Main.cs
+++ b/Source/ModelViewer/Main.cs
@@ -42,7 +42,8 @@ namespace Microsoft.Boogie.ModelViewer
       viewItems = new ToolStripMenuItem[] {
         normalToolStripMenuItem,
         expertToolStripMenuItem,
-        everythingToolStripMenuItem
+        everythingToolStripMenuItem,
+        includeTheKitchenSinkToolStripMenuItem
       };
 
       var debugBreak = false;