try
let ty, ugraph =
CicTypeChecker.type_of_aux' [] [] bo CicUniv.empty_ugraph in
- let bo = Unshare.unshare bo in
- let ty = Unshare.unshare ty in
let attrs = [`Class `Projection; `Generated] in
let obj = Cic.Constant (name,Some bo,ty,[],attrs) in
MatitaSync.add_obj uri obj status