C.Lambda (name, aux so, aux dest)
| C.LetIn (name,so,dest) ->
C.LetIn (name, aux so, aux dest)
- | (Cic.Appl [ c1 ; (Cic.Appl [c2; head]) ]) as t when
+ | (Cic.Appl [ c1 ; (Cic.Appl [c2; head]) ]) when
CoercGraph.is_a_coercion c1 && CoercGraph.is_a_coercion c2 ->
let source_carr = CoercGraph.source_of c2 in
let tgt_carr = CoercGraph.target_of c1 in
let add_single_obj uri obj ~basedir =
let obj =
- if List.mem `Generated (CicUtil.attributes_of_obj obj) &&
+ if (*List.mem `Generated (CicUtil.attributes_of_obj obj) &&*)
not (CoercGraph.is_a_coercion (Cic.Const (uri, [])))
then
merge_coercions obj