diff options
| author |  Rustan Leino <unknown> | 2015-08-20 17:23:24 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2015-08-20 17:23:24 -0700 |
| commit | 566fdf1676e0d7d6060767febbfa7a0378300e99 (patch) | |
| tree | 48b9ddec4a84dd3242ebd39641f70a5d5cbd22c2 /Source/Dafny/DafnyAst.cs | |
| parent | 270b34fc36dcfc781e8f49df5339cb2e10e69828 (diff) | |
Fixed compilation that involve enumeration over native-type newtype values.
Diffstat (limited to 'Source/Dafny/DafnyAst.cs')
| -rw-r--r-- | Source/Dafny/DafnyAst.cs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Source/Dafny/DafnyAst.cs b/Source/Dafny/DafnyAst.cs index 7328d8dd..d78ae170 100644 --- a/Source/Dafny/DafnyAst.cs +++ b/Source/Dafny/DafnyAst.cs @@ -1967,7 +1967,11 @@ namespace Microsoft.Dafny { }
public string FullCompileName {
get {
- return Module.CompileName + ".@" + CompileName;
+ if (!Module.IsDefaultModule) {
+ return Module.CompileName + ".@" + CompileName;
+ } else {
+ return CompileName;
+ }
}
}
}
|