src/Pure/General/file.ML

 
 
 (* eq *)
 
 fun eq paths =
-  (case try (pairself (OS.FileSys.fileId o platform_path)) paths of
+  (case try (apply2 (OS.FileSys.fileId o platform_path)) paths of
     SOME ids => is_equal (OS.FileSys.compare ids)
   | NONE => false);
 
 end;