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

(limited to 'src/pathcheck.sml')

diff --git a/src/pathcheck.sml b/src/pathcheck.sml
index a493595d..15405db7 100644
--- a/src/pathcheck.sml
+++ b/src/pathcheck.sml
@@ -67,7 +67,7 @@ fun checkDecl ((d, loc), (funcs, rels, cookies, styles)) =
              (funcs, rels, cookies, SS.add (styles, s)))
     in
         case d of
-            DExport (_, s, _, _, _) => doFunc s
+            DExport (_, s, _, _, _, _) => doFunc s
             
           | DTable (s, _, pe, ce) =>
             let
-- 
cgit v1.2.3