From 590079fd7a28692b67fe98c6bb2ab0bc915254c3 Mon Sep 17 00:00:00 2001
From: Jason Koenig <unknown>
Date: Tue, 17 Jul 2012 15:35:27 -0700
Subject: 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)

---
 Dafny/Compiler.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Dafny/Compiler.cs')

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;
-- 
cgit v1.2.3