diff options
| author |  Jason Koenig <unknown> | 2012-07-17 15:35:27 -0700 |
|---|---|---|
| committer | Jason Koenig <unknown> | 2012-07-17 15:35:27 -0700 |
| commit | 590079fd7a28692b67fe98c6bb2ab0bc915254c3 (patch) | |
| tree | 74f8d098a4f74ad48e0d687186508029568219fb /Dafny/Compiler.cs | |
| parent | dd0b73644fd685a395f2711f0872f28ff3f79999 (diff) | |
Dafny: compilation of abstract modules, including local definitions (as in module A as B = C)
* * *
Dafny: compilation of abstract modules, including local definitions (as in module A as B = C)
Diffstat (limited to 'Dafny/Compiler.cs')
| -rw-r--r-- | Dafny/Compiler.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Dafny/Compiler.cs b/Dafny/Compiler.cs index 3864df8b..4544a01b 100644 --- a/Dafny/Compiler.cs +++ b/Dafny/Compiler.cs @@ -66,7 +66,7 @@ namespace Microsoft.Dafny { ReadRuntimeSystem();
CompileBuiltIns(program.BuiltIns);
- foreach (ModuleDefinition m in program.Modules) {
+ foreach (ModuleDefinition m in program.CompileModules) {
if (m.IsGhost) {
// the purpose of a ghost module is to skip compilation
continue;
|