From 03deca916331e44c37a0ba46d4bbae6a12b54385 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 16 Apr 2009 14:49:25 -0400
Subject: Label exported symbols by effect-ness; factor out some common
 datatypes

---
 src/rpcify.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/rpcify.sml')

diff --git a/src/rpcify.sml b/src/rpcify.sml
index 846cc6c5..6b7a3c90 100644
--- a/src/rpcify.sml
+++ b/src/rpcify.sml
@@ -173,7 +173,7 @@ fun frob file =
                                 (#exported st, #export_decls st)
                             else
                                 (IS.add (#exported st, n),
-                                 (DExport (Rpc, n), loc) :: #export_decls st)
+                                 (DExport (Rpc ReadWrite, n), loc) :: #export_decls st)
 
                         val st = {cpsed = #cpsed st,
                                   cpsed_range = #cpsed_range st,
-- 
cgit v1.2.3