| _ -> obj_kind
in
let obj = uri,height,[],[],obj_kind in
- prerr_endline ("pp new obj \n"^NCicPp.ppobj obj);
+ (*prerr_endline ("pp new obj \n"^NCicPp.ppobj obj);*)
let old_status = status in
let status = NCicLibrary.add_obj status obj in
let index_obj =