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

(limited to 'src/cjr.sml')

diff --git a/src/cjr.sml b/src/cjr.sml
index f5392d49..53448a29 100644
--- a/src/cjr.sml
+++ b/src/cjr.sml
@@ -132,6 +132,6 @@ datatype sidedness =
 datatype effect = datatype Export.effect
 datatype export_kind = datatype Export.export_kind
 
-type file = decl list * (export_kind * string * int * typ list * typ * sidedness) list
+type file = decl list * (export_kind * string * int * typ list * typ * sidedness * bool) list
 
 end
-- 
cgit v1.2.3