made SML/NJ happy;
authorwenzelm
Thu Nov 13 10:31:42 1997 +0100 (1997-11-13)
changeset 422479e205c3a82c
parent 4223 f60e3d2c81d3
child 4225 3d9e551bc5a6
made SML/NJ happy;
src/Pure/library.ML
     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