in
let obj =
nuri_of_ouri buri,0,[],[],
in
let obj =
nuri_of_ouri buri,0,[],[],
- NCic.Fixpoint (false, fl, (`Generated, `Definition))
+ NCic.Fixpoint (false, fl, (`Generated, `Definition, `Regular))
in
let obj =
nuri_of_ouri buri,height,[],[],
in
let obj =
nuri_of_ouri buri,height,[],[],
- NCic.Fixpoint (true, fl, (`Generated, `Definition)) in
+ NCic.Fixpoint (true, fl, (`Generated, `Definition, `Regular)) in
(*prerr_endline ("H(" ^ UriManager.string_of_uri buri ^ ") = " ^ string_of_int * height);*)
let r = reference_of_ouri buri (Ref.Fix (fixno,!rno_fixno,height)) in
let obj,r =
(*prerr_endline ("H(" ^ UriManager.string_of_uri buri ^ ") = " ^ string_of_int * height);*)
let r = reference_of_ouri buri (Ref.Fix (fixno,!rno_fixno,height)) in
let obj,r =