From e2f6b11fd4fc806c5cdf88cf669ed5b2d9e34caf Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 22 Mar 2009 16:03:45 -0400
Subject: Proper recv

---
 src/mono_print.sml | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/mono_print.sml')

diff --git a/src/mono_print.sml b/src/mono_print.sml
index a61b5847..cbe90371 100644
--- a/src/mono_print.sml
+++ b/src/mono_print.sml
@@ -313,6 +313,11 @@ fun p_exp' par env (e, _) =
                                           string ")[",
                                           p_exp env e,
                                           string "]"]
+      | ERecv (n, e, _) => box [string "Recv(",
+                                p_exp env n,
+                                string ")[",
+                                p_exp env e,
+                                string "]"]
 
 and p_exp env = p_exp' false env
 
-- 
cgit v1.2.3