diff options
| author |  Rustan Leino <leino@microsoft.com> | 2013-07-01 17:56:07 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2013-07-01 17:56:07 -0700 |
| commit | d702c16829fd403ba9533263df7b140fabd9ec9f (patch) | |
| tree | 7fb2acd0047b1b79f52bc293e81e9d412b3fce30 /Source/Dafny | |
| parent | ea02e5263f9371a86984d15480ca59f114e789ea (diff) | |
Fixed bug of inappropriate Boogie name
Diffstat (limited to 'Source/Dafny')
| -rw-r--r-- | Source/Dafny/DafnyAst.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Dafny/DafnyAst.cs b/Source/Dafny/DafnyAst.cs index f5010443..1993b88d 100644 --- a/Source/Dafny/DafnyAst.cs +++ b/Source/Dafny/DafnyAst.cs @@ -1233,7 +1233,7 @@ namespace Microsoft.Dafny { Contract.Requires(EnclosingDatatype != null);
Contract.Ensures(Contract.Result<string>() != null);
- return "#" + EnclosingDatatype.FullCompileName + "." + Name;
+ return "#" + EnclosingDatatype.FullName + "." + Name;
}
}
}
|