From 99381d4e2267325289a6a209c134a1d29ea6469a Mon Sep 17 00:00:00 2001
From: MichalMoskal <unknown>
Date: Fri, 14 Jan 2011 19:16:59 +0000
Subject: Make the filename length limit be 30 (as in VCC)

---
 Source/ModelViewer/DafnyProvider.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/ModelViewer')

diff --git a/Source/ModelViewer/DafnyProvider.cs b/Source/ModelViewer/DafnyProvider.cs
index 859ce211..cba7a97b 100644
--- a/Source/ModelViewer/DafnyProvider.cs
+++ b/Source/ModelViewer/DafnyProvider.cs
@@ -260,7 +260,7 @@ namespace Microsoft.Boogie.ModelViewer.Dafny
       var idx = name.LastIndexOfAny(new char[] { '\\', '/' });
       if (0 <= idx)
         name = name.Substring(idx + 1);
-      var limit = 16;
+      var limit = 30;
       if (name.Length > limit) {
         idx = name.IndexOf('(');
         if (idx > 0) {
-- 
cgit v1.2.3