summaryrefslogtreecommitdiff
path: root/src/marshalcheck.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-12-31 11:41:57 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-12-31 11:41:57 -0500
commit21678b3f280cd85961e3354faecc29aab4819de4 (patch)
treebd23d8cf5bd50193307b43173436dee92553e4cd /src/marshalcheck.sml
parentc0b98201e7415eeada11e08c69264cf165bba50f (diff)
Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly
Diffstat (limited to 'src/marshalcheck.sml')
-rw-r--r--src/marshalcheck.sml2
1 files changed, 1 insertions, 1 deletions
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) =>