From 53109d697cd8ff1aa7e4b8c41f3bd71dd2671fc0 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 26 Jan 2008 16:44:39 -0500
Subject: Check for leftover kind unifs

---
 src/list_util.sig | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/list_util.sig')

diff --git a/src/list_util.sig b/src/list_util.sig
index 4c4aa955..6ec109da 100644
--- a/src/list_util.sig
+++ b/src/list_util.sig
@@ -30,4 +30,7 @@ signature LIST_UTIL = sig
     val mapfoldl : ('data1 * 'state -> 'state * 'data2) -> 'state -> 'data1 list
                    -> 'state * 'data2 list
 
+    val mapfold : ('data, 'state, 'abort) Search.mapfolder
+                  -> ('data list, 'state, 'abort) Search.mapfolder
+
 end
-- 
cgit v1.2.3