--- a/src/elab_util.sml	Thu Jul 10 09:24:43 2008 -0400
+++ b/src/elab_util.sml	Thu Jul 10 10:11:35 2008 -0400
@@ -510,7 +510,8 @@
                                                    bind (ctx, Str (x, sgn))
                                                  | DFfiStr (x, _, sgn) =>
                                                    bind (ctx, Str (x, sgn))
-                                                 | DConstraint _ => ctx,
+                                                 | DConstraint _ => ctx
+                                                 | DPage _ => ctx,
                                                mfd ctx d)) ctx ds,
                      fn ds' => (StrConst ds', loc))
               | StrVar _ => S.return2 strAll
@@ -571,6 +572,12 @@
                             S.map2 (mfc ctx c2,
                                     fn c2' =>
                                        (DConstraint (c1', c2'), loc)))
+              | DPage (c, e) =>
+                S.bind2 (mfc ctx c,
+                         fn c' =>
+                            S.map2 (mfe ctx e,
+                                 fn e' =>
+                                    (DPage (c', e'), loc)))
     in
         mfd
     end