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.sml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/mono.sml')

diff --git a/src/mono.sml b/src/mono.sml
index b0be4c5f..3aa65b6a 100644
--- a/src/mono.sml
+++ b/src/mono.sml
@@ -110,6 +110,7 @@ datatype exp' =
        | ESignalSource of exp
 
        | EServerCall of exp * exp * typ
+       | ERecv of exp * exp * typ
 
 withtype exp = exp' located
 
-- 
cgit v1.2.3