diff options
| author |  chmaria <unknown> | 2012-06-22 16:57:55 +0200 |
|---|---|---|
| committer | chmaria <unknown> | 2012-06-22 16:57:55 +0200 |
| commit | cc322df13c0a804d2559ff71f48ceefff514926d (patch) | |
| tree | c07d0de7e42636e20274e1bc24d8540f12810241 | |
| parent | e4c9cc3b22d698e087748f3a6f905ea969cb16e9 (diff) | |
Dafny: Fixed bug in CompilerizeName.
| -rw-r--r-- | Dafny/DafnyAst.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Dafny/DafnyAst.cs b/Dafny/DafnyAst.cs index ce9f572f..a63a4bc1 100644 --- a/Dafny/DafnyAst.cs +++ b/Dafny/DafnyAst.cs @@ -1153,7 +1153,7 @@ namespace Microsoft.Dafny { return name + nm.Substring(i);
}
} else {
- string nxt = nm.Substring(i, j);
+ string nxt = nm.Substring(i, j - i);
name = name == null ? nxt : name + nxt;
switch (nm[j]) {
case '\'': name += "_k"; break;
|