From fc41f3cbdf93dbc7a8918ffc8870f7f875b80046 Mon Sep 17 00:00:00 2001
From: Michal Moskal <michal@moskal.me>
Date: Wed, 9 Nov 2011 11:41:33 -0800
Subject: VCC: hide #limited# functions

---
 Source/ModelViewer/VccProvider.cs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Source/ModelViewer')

diff --git a/Source/ModelViewer/VccProvider.cs b/Source/ModelViewer/VccProvider.cs
index 0ce39c88..969dd646 100644
--- a/Source/ModelViewer/VccProvider.cs
+++ b/Source/ModelViewer/VccProvider.cs
@@ -307,6 +307,8 @@ namespace Microsoft.Boogie.ModelViewer.Vcc
         res = 1;
       else if (name.EndsWith("#frame"))
         res = 2;
+      else if (name.Contains("#limited#"))
+        res = 2;
       else {
         for (int i = 0; i < prefixes.Length; ++i)
           foreach (var p in prefixes[i])
@@ -314,7 +316,7 @@ namespace Microsoft.Boogie.ModelViewer.Vcc
               res = i;
               //goto stop;
             }
-      //stop: ;
+        //stop: ;
       }
 
       if (res == -1)
-- 
cgit v1.2.3