From d92155463bff760184418a3d282730841c9e3b7f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 31 Dec 2009 11:41:57 -0500
Subject: Basis.serialize; separate file for mhash; run transactional finishers
 in reverse order; set needs_sig properly

---
 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 3569e2bc..63330942 100644
--- a/src/rpcify.sml
+++ b/src/rpcify.sml
@@ -107,7 +107,7 @@ fun frob file =
                                         (#exported st, #export_decls st)
                                     else
                                         (IS.add (#exported st, n),
-                                         (DExport (Rpc ReadWrite, n), loc) :: #export_decls st)
+                                         (DExport (Rpc ReadWrite, n, false), loc) :: #export_decls st)
 
                                 val st = {exported = exported,
                                           export_decls = export_decls}
-- 
cgit v1.2.3