From 21678b3f280cd85961e3354faecc29aab4819de4 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/marshalcheck.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/marshalcheck.sml')

diff --git a/src/marshalcheck.sml b/src/marshalcheck.sml
index 10129aef..de6879ae 100644
--- a/src/marshalcheck.sml
+++ b/src/marshalcheck.sml
@@ -89,7 +89,7 @@ fun check file =
                                               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) =>
-- 
cgit v1.2.3