From 03ecfc6bbbff1492662930a708a1e9be685ef023 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 19 Jun 2008 17:04:08 -0400
Subject: Elaborating functor applications

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

(limited to 'src/source_print.sml')

diff --git a/src/source_print.sml b/src/source_print.sml
index c3a333e8..1522e6da 100644
--- a/src/source_print.sml
+++ b/src/source_print.sml
@@ -375,6 +375,10 @@ and p_str (str, _) =
                                                 string "=>",
                                                 space,
                                                 p_str str]
+      | StrApp (str1, str2) => box [p_str str1,
+                                    string "(",
+                                    p_str str2,
+                                    string ")"]
 
 val p_file = p_list_sep newline p_decl
 
-- 
cgit v1.2.3