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

(limited to 'src/search.sml')

diff --git a/src/search.sml b/src/search.sml
index 50904bba..6b78e9b2 100644
--- a/src/search.sml
+++ b/src/search.sml
@@ -62,7 +62,7 @@ fun bind2 (r, f) acc =
 fun bindP (r, f) =
     case r of
         Continue ((x, pos), acc) =>
-        map (f (x, acc),
+        map (f x acc,
           fn (x', acc') =>
              ((x', pos), acc'))
       | Return x => Return x
-- 
cgit v1.2.3