From a36e0f809c85f4ad5cc0897a6630fb9faf809c15 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 20 Feb 2014 10:27:15 -0500
Subject: Some more nested functor bug-fixing, including generating fresh
 internal names at applications; still need to debug issues with datatype
 constructors

---
 src/expl_print.sig | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/expl_print.sig')

diff --git a/src/expl_print.sig b/src/expl_print.sig
index 8f1cee97..3b074014 100644
--- a/src/expl_print.sig
+++ b/src/expl_print.sig
@@ -31,6 +31,7 @@ signature EXPL_PRINT = sig
     val p_exp : ExplEnv.env -> Expl.exp Print.printer
     val p_decl : ExplEnv.env -> Expl.decl Print.printer
     val p_sgn_item : ExplEnv.env -> Expl.sgn_item Print.printer
+    val p_str : ExplEnv.env -> Expl.str Print.printer
     val p_file : ExplEnv.env -> Expl.file Print.printer
 
     val debug : bool ref
-- 
cgit v1.2.3