diff options
| author |  MichalMoskal <unknown> | 2011-01-14 19:16:59 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2011-01-14 19:16:59 +0000 |
| commit | 99381d4e2267325289a6a209c134a1d29ea6469a (patch) | |
| tree | 66f7720f8472a965577bd4d123c7ad29871c5982 /Source/ModelViewer | |
| parent | db5ca80a4c3e95e9909d65b6166bb422395968fd (diff) | |
Make the filename length limit be 30 (as in VCC)
Diffstat (limited to 'Source/ModelViewer')
| -rw-r--r-- | Source/ModelViewer/DafnyProvider.cs | 2 |
1 files changed, 1 insertions, 1 deletions
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) {
|