From 0168071775d98602c427b4b915fb6489cc2f10ff Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 28 Mar 2009 11:13:36 -0400
Subject: Marshalcheck

---
 src/core_util.sig | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'src/core_util.sig')

diff --git a/src/core_util.sig b/src/core_util.sig
index fabb9878..807b477b 100644
--- a/src/core_util.sig
+++ b/src/core_util.sig
@@ -68,12 +68,12 @@ structure Con : sig
                -> 'context -> (Core.con -> Core.con)
 
     val fold : {kind : Core.kind' * 'state -> 'state,
-               con : Core.con' * 'state -> 'state}
-              -> 'state -> Core.con -> 'state
-
+                con : Core.con' * 'state -> 'state}
+               -> 'state -> Core.con -> 'state
+                                        
     val exists : {kind : Core.kind' -> bool,
                   con : Core.con' -> bool} -> Core.con -> bool
-
+                                                          
     val foldMap : {kind : Core.kind' * 'state -> Core.kind' * 'state,
                    con : Core.con' * 'state -> Core.con' * 'state}
                   -> 'state -> Core.con -> Core.con * 'state
-- 
cgit v1.2.3