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

---
 proofs/tacmach.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'proofs')

diff --git a/proofs/tacmach.ml b/proofs/tacmach.ml
index 957843bc93..e900240761 100644
--- a/proofs/tacmach.ml
+++ b/proofs/tacmach.ml
@@ -59,7 +59,7 @@ let pf_get_hyp gls id =
     raise (RefinerError (NoSuchHyp id))
 
 let pf_get_hyp_typ gls id =
-  pf_get_hyp gls id |> NamedDecl.get_type
+  id |> pf_get_hyp gls |> NamedDecl.get_type
 
 let pf_ids_of_hyps gls = ids_of_named_context (pf_hyps gls)
 
-- 
cgit v1.2.3