| NReference.Decl as s -> s))
| t -> NCicUtils.map (fun _ () -> ()) () fix t
in
- let obj_kind = NCicUntrusted.map_obj_kind (fix ()) obj_kind in
+ let obj_kind =
+ match obj_kind with
+ | NCic.Fixpoint _ ->
+ NCicUntrusted.map_obj_kind (fix ()) obj_kind
+ | _ -> obj_kind
+ in
let obj = uri,height,[],[],obj_kind in
NCicTypeChecker.typecheck_obj obj;
let timestamp = NCicLibrary.add_obj uri obj in