diff options
author | MichalMoskal <unknown> | 2011-01-17 21:11:13 +0000 |
---|---|---|
committer | MichalMoskal <unknown> | 2011-01-17 21:11:13 +0000 |
commit | 8243b9a87e2278dd48cc71e418634ae0a3ba2fbb (patch) | |
tree | 5871df26e925e0214b8332c201505e5afe55f26a /Source/ModelViewer/Namer.cs | |
parent | 855c51dc0533b552cadcb513cbca541b53c4b7b3 (diff) |
More user-friendly canonical names
Diffstat (limited to 'Source/ModelViewer/Namer.cs')
-rw-r--r-- | Source/ModelViewer/Namer.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/ModelViewer/Namer.cs b/Source/ModelViewer/Namer.cs index 983ccb2f..01f0e5c6 100644 --- a/Source/ModelViewer/Namer.cs +++ b/Source/ModelViewer/Namer.cs @@ -40,7 +40,7 @@ namespace Microsoft.Boogie.ModelViewer // A reasonable strategy is to check if it's a name of the local, and if so return it,
// and otherwise use the type of element (e.g., return "seq" for elements representing
// sequences). It is also possible to return "" in such cases.
- //
+ //
// The suff output parameter specifies whether the number sequence suffix should be
// always added, only when it's non-zero, or never.
protected virtual string CanonicalBaseName(Model.Element elt, out NameSeqSuffix suff)
|