diff options
| author |  Bryan Parno <parno@microsoft.com> | 2014-01-03 16:56:19 -0800 |
|---|---|---|
| committer | Bryan Parno <parno@microsoft.com> | 2014-01-03 16:56:19 -0800 |
| commit | cc51c74b556c702d1861690f6ae3bde815f4d06a (patch) | |
| tree | ab93ce5be91867d0f984a58116765bf03123c7cc /Source/Dafny/Resolver.cs | |
| parent | dfe6334aed573886f913610df17ea5a427dd98a0 (diff) | |
Make ModuleDefinition inherit from TopLevelDecl instead of just Declaration
Diffstat (limited to 'Source/Dafny/Resolver.cs')
| -rw-r--r-- | Source/Dafny/Resolver.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Dafny/Resolver.cs b/Source/Dafny/Resolver.cs index 6c8386aa..047df719 100644 --- a/Source/Dafny/Resolver.cs +++ b/Source/Dafny/Resolver.cs @@ -963,7 +963,7 @@ namespace Microsoft.Dafny }
private ModuleSignature MakeAbstractSignature(ModuleSignature p, string Name, int Height, List<ModuleDefinition> mods) {
- var mod = new ModuleDefinition(Token.NoToken, Name + ".Abs", true, true, null, null, false);
+ var mod = new ModuleDefinition(Token.NoToken, Name + ".Abs", true, true, null, null, null, false);
mod.Height = Height;
foreach (var kv in p.TopLevels) {
mod.TopLevelDecls.Add(CloneDeclaration(kv.Value, mod, mods, Name));
|