From 84104b2ae60ef293b9d837998b8162d58e8d4a0e Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 26 Jun 2008 11:11:13 -0400
Subject: Explify efold

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

(limited to 'src/expl_print.sml')

diff --git a/src/expl_print.sml b/src/expl_print.sml
index 445a0fff..ab8462b8 100644
--- a/src/expl_print.sml
+++ b/src/expl_print.sml
@@ -233,6 +233,7 @@ fun p_exp' par env (e, _) =
             box [p_exp' true env e,
                  string ".",
                  p_con' true env c]
+      | EFold _ => string "fold"
 
 and p_exp env = p_exp' false env
 
-- 
cgit v1.2.3