diff src/marshalcheck.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 61a1f5c5ae2c
children b106ca8200b1
line wrap: on
line diff
--- a/src/marshalcheck.sml	Wed Dec 30 09:52:18 2009 -0500
+++ b/src/marshalcheck.sml	Thu Dec 31 11:41:57 2009 -0500
@@ -89,7 +89,7 @@
                                               foldl (fn ((_, n, t, _, tag), emap) => IM.insert (emap, n, (t, tag)))
                                                     emap vis)
 
-                            | DExport (_, n) =>
+                            | DExport (_, n, _) =>
                               (case IM.find (emap, n) of
                                    NONE => raise Fail "MarshalCheck: Unknown export"
                                  | SOME (t, tag) =>