diff options
Diffstat (limited to 'engine')
| -rw-r--r-- | engine/termops.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/engine/termops.ml b/engine/termops.ml index 501a7dfa4..b2c9492e1 100644 --- a/engine/termops.ml +++ b/engine/termops.ml @@ -1002,7 +1002,7 @@ let compact_named_context sign = | NamedDecl.LocalDef (i,c,t), q -> CompactedDecl.LocalDef ([i],c,t) :: q in - Context.Named.fold_inside compact ~init:[] sign |> List.rev + sign |> Context.Named.fold_inside compact ~init:[] |> List.rev let clear_named_body id env = let open NamedDecl in |