Include one more expert level (this need to be rethought I guess).

Display res__ VCC variables.

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;