From 85c5fc291ece27b13a28a3ec50b67ff437a18834 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 22 Feb 2009 16:32:56 -0500 Subject: Kind polymorphism through Explify --- src/expl_print.sig | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/expl_print.sig') diff --git a/src/expl_print.sig b/src/expl_print.sig index 1e2c8fbb..8f1cee97 100644 --- a/src/expl_print.sig +++ b/src/expl_print.sig @@ -26,7 +26,7 @@ *) signature EXPL_PRINT = sig - val p_kind : Expl.kind Print.printer + val p_kind : ExplEnv.env -> Expl.kind Print.printer val p_con : ExplEnv.env -> Expl.con Print.printer val p_exp : ExplEnv.env -> Expl.exp Print.printer val p_decl : ExplEnv.env -> Expl.decl Print.printer -- cgit v1.2.3