From 21678b3f280cd85961e3354faecc29aab4819de4 Mon Sep 17 00:00:00 2001 From: Adam Chlipala 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/corify.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/corify.sml') diff --git a/src/corify.sml b/src/corify.sml index 9259b4f2..a1a5c745 100644 --- a/src/corify.sml +++ b/src/corify.sml @@ -1001,7 +1001,7 @@ fun corifyDecl mods (all as (d, loc : EM.span), st) = e), loc) :: wds, (fn st => case #1 (corifyExp st (L.EModProj (en, [], "wrap_" ^ s), loc)) of - L'.ENamed n => (L'.DExport (L'.Link, n), loc) + L'.ENamed n => (L'.DExport (L'.Link, n, false), loc) | _ => raise Fail "Corify: Value to export didn't corify properly") :: eds) else -- cgit v1.2.3