summaryrefslogtreecommitdiff
path: root/src/elab_print.sig
diff options
context:
space:
mode:
Diffstat (limited to 'src/elab_print.sig')
-rw-r--r--src/elab_print.sig2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/elab_print.sig b/src/elab_print.sig
index 3d078576..41d72ca7 100644
--- a/src/elab_print.sig
+++ b/src/elab_print.sig
@@ -28,7 +28,7 @@
(* Pretty-printing Ur/Web *)
signature ELAB_PRINT = sig
- val p_kind : Elab.kind Print.printer
+ val p_kind : ElabEnv.env -> Elab.kind Print.printer
val p_explicitness : Elab.explicitness Print.printer
val p_con : ElabEnv.env -> Elab.con Print.printer
val p_pat : ElabEnv.env -> Elab.pat Print.printer