prerr_endline "ranked....";
HExtlib.profiling_enabled := false;
List.iter (fun uu ->
- let uu= NUri.nuri_of_ouri uu in
+ let uu= OCic2NCic.nuri_of_ouri uu in
indent := 0;
let o = NCicLibrary.get_obj uu in
try
let prima = Unix.gettimeofday () in
List.iter
(fun u ->
- let u= NUri.nuri_of_ouri u in
+ let u= OCic2NCic.nuri_of_ouri u in
indent := 0;
NCicTypeChecker.typecheck_obj (NCicLibrary.get_obj u))
alluris;