From 2ff6d31c7a6011b26dfa7f0b2bb593b356833058 Mon Sep 17 00:00:00 2001
From: Matej Kosik
Date: Tue, 30 Aug 2016 10:47:37 +0200
Subject: CLEANUP: using |> operator more consistently

---
 engine/termops.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'engine')

diff --git a/engine/termops.ml b/engine/termops.ml
index 501a7dfa47..b2c9492e1d 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
-- 
cgit v1.2.3