diff options
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) {
|