From 7c37a6336fb1a56fee80e94f9e5188c3436102cd Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Wed, 25 Jul 2012 14:04:59 -0400
Subject: Allow type class instances with hypotheses via local ('let')
 definitions

---
 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 042e6a23..f5b0df29 100644
--- a/src/source_print.sig
+++ b/src/source_print.sig
@@ -33,6 +33,7 @@ signature SOURCE_PRINT = sig
     val p_con : Source.con Print.printer
     val p_exp : Source.exp Print.printer
     val p_decl : Source.decl Print.printer
+    val p_edecl : Source.edecl 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
-- 
cgit v1.2.3