From 85c5fc291ece27b13a28a3ec50b67ff437a18834 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 22 Feb 2009 16:32:56 -0500
Subject: Kind polymorphism through Explify

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

(limited to 'src/elab_print.sml')

diff --git a/src/elab_print.sml b/src/elab_print.sml
index a0e1a54a..e5dda58e 100644
--- a/src/elab_print.sml
+++ b/src/elab_print.sml
@@ -68,7 +68,7 @@ fun p_kind' par env (k, _) =
                             space,
                             p_kind (E.pushKRel env x) k]
 
-and p_kind k = p_kind' false k
+and p_kind env = p_kind' false env
 
 fun p_explicitness e =
     case e of
-- 
cgit v1.2.3