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

---
 library/impargs.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'library')

diff --git a/library/impargs.ml b/library/impargs.ml
index e922ab7735..2997f94ed2 100644
--- a/library/impargs.ml
+++ b/library/impargs.ml
@@ -175,7 +175,7 @@ let is_flexible_reference env bound depth f =
         let cb = Environ.lookup_constant kn env in
 	(match cb.const_body with Def _ -> true | _ -> false)
     | Var id ->
-        Environ.lookup_named id env |> is_local_def
+        env |> Environ.lookup_named id |> is_local_def
     | Ind _ | Construct _ -> false
     |  _ -> true
 
-- 
cgit v1.2.3