- let dopo =
- C.MutCase (uri, tyno, outty',term',patterns2) in
- if not (CicReduction.are_convertible [] prima dopo) then
- (prerr_endline ("prima :" ^(CicPp.ppterm prima));
- prerr_endline ("dopo :" ^(CicPp.ppterm dopo)));
- dopo
+ C.MutCase (uri, tyno, outty',term',patterns2)