From f97793ed2c5fc4b5cf4ddb2454db1ad4cfe09d7f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 1 Jun 2010 12:50:53 -0400
Subject: Try harder to place wildified 'con' declarations properly

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

(limited to 'src/source_print.sig')

diff --git a/src/source_print.sig b/src/source_print.sig
index be68cdd4..042e6a23 100644
--- a/src/source_print.sig
+++ b/src/source_print.sig
@@ -34,5 +34,6 @@ signature SOURCE_PRINT = sig
     val p_exp : Source.exp Print.printer
     val p_decl : Source.decl Print.printer
     val p_sgn_item : Source.sgn_item Print.printer
+    val p_str : Source.str Print.printer
     val p_file : Source.file Print.printer
 end
-- 
cgit v1.2.3