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