-
+(*
let diff_ex l1 l2 =
let before = Sys.time () in
let res = diff_ex l1 l2 in
let ll1 = string_of_int (List.length l1) in
let ll2 = string_of_int (List.length l2) in
let diff = string_of_float (after -. before) in
- print_endline
+ prerr_endline
("DIFF(" ^ ll1 ^ ", " ^ ll2 ^ ") = " ^ string_of_int (List.length res) ^
": " ^ diff ^ "s") ;
flush stdout ;
res
;;
-
+*)