diff src/rpcify.sml @ 1104:72670131dace

Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly
author Adam Chlipala <adamc@hcoop.net>
date Thu, 31 Dec 2009 11:41:57 -0500
parents dfe34fad749d
children 3cfc79f92db7
line wrap: on
line diff
--- a/src/rpcify.sml	Wed Dec 30 09:52:18 2009 -0500
+++ b/src/rpcify.sml	Thu Dec 31 11:41:57 2009 -0500
@@ -107,7 +107,7 @@
                                         (#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}