aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/expl_env.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/expl_env.sml')
-rw-r--r--src/expl_env.sml2
1 files changed, 1 insertions, 1 deletions
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