diff options
Diffstat (limited to 'pretyping')
| -rw-r--r-- | pretyping/cases.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pretyping/cases.ml b/pretyping/cases.ml index 221b0998d3..92c22735e1 100644 --- a/pretyping/cases.ml +++ b/pretyping/cases.ml @@ -654,8 +654,8 @@ let get_names env sign eqns = (fun (na,t) -> Name (next_name_away (named_hd env t na) avoid)) d na in - (na::l,(out_name na)::avoid)) ([],allvars) sign names2 in - List.rev names4 + (na::l,(out_name na)::avoid)) ([],allvars) (List.rev sign) names2 in + names4 (************************************************************************) (* Recovering names for variables pushed to the rhs' environment *) |