src/Pure/library.ML

--- a/src/Pure/library.ML	Wed Nov 12 18:58:50 1997 +0100
+++ b/src/Pure/library.ML	Thu Nov 13 10:31:42 1997 +0100
@@ -228,7 +228,7 @@
         | find n (x :: xs) = if pred x then n else find (n + 1) xs;
   in find 0 end;
 
-val find_index_eq = find_index o equal;
+fun find_index_eq x = find_index (equal x);
 
 (*find first element satisfying predicate*)
 fun find_first _ [] = None