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

---
 printing/prettyp.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'printing')

diff --git a/printing/prettyp.ml b/printing/prettyp.ml
index 37098e5042..f56f83e170 100644
--- a/printing/prettyp.ml
+++ b/printing/prettyp.ml
@@ -763,7 +763,7 @@ let print_opaque_name qid =
 	let ty = Universes.unsafe_type_of_global gr in
 	print_typed_value (mkConstruct cstr, ty)
     | VarRef id ->
-        lookup_named id env |> NamedDecl.set_id id |> print_named_decl
+        env |> lookup_named id |> NamedDecl.set_id id |> print_named_decl
 
 let print_about_any loc k =
   match k with
-- 
cgit v1.2.3