From 3316f3c317e587a5fc2ecf38f061a72b48e3b94e Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 13 Jul 2008 10:17:06 -0400
Subject: Remove closure conversion in favor of zany fun with modules, which
 also replaces 'page'

---
 src/expl_env.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/expl_env.sml')

diff --git a/src/expl_env.sml b/src/expl_env.sml
index 93d21c31..b9c95605 100644
--- a/src/expl_env.sml
+++ b/src/expl_env.sml
@@ -243,7 +243,7 @@ fun declBinds env (d, _) =
       | DSgn (x, n, sgn) => pushSgnNamed env x n sgn
       | DStr (x, n, sgn, _) => pushStrNamed env x n sgn
       | DFfiStr (x, n, sgn) => pushStrNamed env x n sgn
-      | DPage _ => env
+      | DExport _ => env
 
 fun sgiBinds env (sgi, _) =
     case sgi of
-- 
cgit v1.2.3