in
let res = Inference.extract_differing_subterms t1 t2 in
match res with
- | None -> print_endline "NO DIFFERING SUBTERMS???"
+ | None -> prerr_endline "NO DIFFERING SUBTERMS???"
| Some (t1, t2) ->
Printf.printf "OK: %s, %s\n" (CicPp.ppterm t1) (CicPp.ppterm t2);
;;