--- a/src/elaborate.sml	Sat Jan 26 16:51:39 2008 -0500
+++ b/src/elaborate.sml	Sat Jan 26 17:10:26 2008 -0500
@@ -219,14 +219,13 @@
             checkKind env c2' k2 dom;
             ((L'.CApp (c1', c2'), loc), ran)
         end
-      | L.CAbs (e, x, k, t) =>
+      | L.CAbs (x, k, t) =>
         let
-            val e' = elabExplicitness e
             val k' = elabKind k
             val env' = E.pushCRel env x k'
             val (t', tk) = elabCon env' t
         in
-            ((L'.CAbs (e', x, k', t'), loc),
+            ((L'.CAbs (x, k', t'), loc),
              (L'.KArrow (k', tk), loc))
         end