--- a/src/cloconv.sml	Thu Jul 10 09:24:43 2008 -0400
+++ b/src/cloconv.sml	Thu Jul 10 10:11:35 2008 -0400
@@ -158,7 +158,6 @@
             val body = (L'.ELet ([("env", envT, (L'.EField ((L'.ERel 0, loc), "env"), loc)),
                                   ("arg", dom, (L'.EField ((L'.ERel 1, loc), "arg"), loc))],
                                  body), loc)
-                              
 
             val (D, fi) = Ds.func D (x, (L'.TRecord [("env", envT), ("arg", dom)], loc), ran, body)
         in
@@ -198,6 +197,7 @@
         in
             Ds.exp D (x, n, t, e)
         end
+      | L.DPage _ => raise Fail "Cloconv DPage"
 
 fun cloconv ds =
     let