| NCic.Constant (_,_,Some _, ty, _) ->
let ty,_,_ = NCicMetaSubst.saturate [] [] [] ty 0 in
[ty,NCic.Const(NReference.reference_of_spec uri (NReference.Def height))]
- | NCic.Constant (_,_,None _, ty, _) ->
+ | NCic.Constant (_,_,None, ty, _) ->
let ty,_,_ = NCicMetaSubst.saturate [] [] [] ty 0 in
[ty,NCic.Const(NReference.reference_of_spec uri (NReference.Decl))]
in