prerr_endline "caching objects";
let _ =
let rec aux = function
- | a::b::tl ->
- NCicEnvironment.add_le_constraint true (mk_type a) (mk_type b)
+ | a::(b::_ as tl) ->
+ NCicEnvironment.add_le_constraint true (mk_type a) (mk_type b);
+ aux tl
| _ -> ()
in
aux lll