From 4d6b4140314ee47c6278d75a196fb81da3fedc26 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 15 Feb 2009 09:27:36 -0500
Subject: Export RPC functions and push RPC calls through to Mono

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

(limited to 'src/core_print.sml')

diff --git a/src/core_print.sml b/src/core_print.sml
index 64cead70..e9a36fbb 100644
--- a/src/core_print.sml
+++ b/src/core_print.sml
@@ -436,6 +436,7 @@ fun p_export_kind ck =
     case ck of
         Link => string "link"
       | Action => string "action"
+      | Rpc => string "rpc"
 
 fun p_datatype env (x, n, xs, cons) =
     let
-- 
cgit v1.2.3