diff options
| -rw-r--r-- | pretyping/termops.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pretyping/termops.ml b/pretyping/termops.ml index a1f1f52ff3..ee60f60c0e 100644 --- a/pretyping/termops.ml +++ b/pretyping/termops.ml @@ -948,7 +948,7 @@ let compact_named_context sign = if Option.equal Constr.equal c1 c2 && Constr.equal t1 t2 then (i1::l2,c2,t2)::q else ([i1],c1,t1)::l - in Context.fold_named_context_reverse compact ~init:[] sign + in List.rev (Context.fold_named_context_reverse compact ~init:[] sign) let clear_named_body id env = let aux _ = function |