From 0f0d418e2290cdf5e6e392f65579756b37661be9 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 12 Apr 2009 11:08:00 -0400 Subject: hello compiles with CSS --- src/elab_print.sig | 1 + 1 file changed, 1 insertion(+) (limited to 'src/elab_print.sig') diff --git a/src/elab_print.sig b/src/elab_print.sig index 41d72ca7..1eb832b3 100644 --- a/src/elab_print.sig +++ b/src/elab_print.sig @@ -36,6 +36,7 @@ signature ELAB_PRINT = sig val p_decl : ElabEnv.env -> Elab.decl Print.printer val p_sgn_item : ElabEnv.env -> Elab.sgn_item Print.printer val p_sgn : ElabEnv.env -> Elab.sgn Print.printer + val p_str : ElabEnv.env -> Elab.str Print.printer val p_file : ElabEnv.env -> Elab.file Print.printer val debug : bool ref -- cgit v1.2.3