From 8cc7053b00237cd468290cb5f2042898e7a80329 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 14 Sep 2008 15:10:04 -0400
Subject: Crud supports INSERT

---
 src/source_print.sml | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'src/source_print.sml')

diff --git a/src/source_print.sml b/src/source_print.sml
index 4844e508..e1a8de7a 100644
--- a/src/source_print.sml
+++ b/src/source_print.sml
@@ -267,6 +267,13 @@ fun p_exp' par (e, _) =
       | EField (e, c) => box [p_exp' true e,
                               string ".",
                               p_con' true c]
+      | EWith (e1, c, e2) => parenIf par (box [p_exp e1,
+                                               space,
+                                               string "with",
+                                               space,
+                                               p_con' true c,
+                                               space,
+                                               p_exp' true e2])
       | ECut (e, c) => parenIf par (box [p_exp' true e,
                                          space,
                                          string "--",
-- 
cgit v1.2.3