- | (_,_,NCic.Const(NReference.Ref(_,_,NReference.CoFix _)as refer),s)->
- let _,_,body,_,_,_ = NCicEnvironment.get_checked_cofix refer in
+ | (_,_,NCic.Const(NReference.Ref(_,_,NReference.CoFix c)as refer),s)->
+ let cofixes,_,_ = NCicEnvironment.get_checked_cofixes refer in
+ let _,_,_,_,body = List.nth cofixes c in