# HG changeset patch
# User wenzelm
# Date 879413502 -3600
# Node ID 79e205c3a82c7c2532a640621a25fd4ba7297635
# Parent  f60e3d2c81d3c719ec5ee5079cce1f671c5de010
made SML/NJ happy;

diff -r f60e3d2c81d3 -r 79e205c3a82c 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