Mercurial > urweb

diff src/elab_print.sml @ 624:354800878b4d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Kind polymorphism through Explify
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Feb 2009 16:32:56 -0500
parents 588b9d16b00a
children 12b73f3c108e
line wrap: on
line diff
--- a/src/elab_print.sml	Sun Feb 22 16:10:25 2009 -0500
+++ b/src/elab_print.sml	Sun Feb 22 16:32:56 2009 -0500
@@ -68,7 +68,7 @@
                             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