From f5f4bb97634f4fac3dec766db27af994e745d749 Mon Sep 17 00:00:00 2001
From: Matej Kosik
Date: Fri, 12 Aug 2016 17:10:24 +0200
Subject: CLEANUP: removing superfluous (module) qualifiers

---
 library/impargs.ml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'library')

diff --git a/library/impargs.ml b/library/impargs.ml
index 3ddef3a9ae..cda1a662b4 100644
--- a/library/impargs.ml
+++ b/library/impargs.ml
@@ -515,11 +515,12 @@ let subst_implicits (subst,(req,l)) =
   (ImplLocal,List.smartmap (subst_implicits_decl subst) l)
 
 let impls_of_context ctx =
+  let open Context.Named.Declaration in
   let map (decl, impl) = match impl with
-  | Implicit -> Some (Context.Named.Declaration.get_id decl, Manual, (true, true))
+  | Implicit -> Some (get_id decl, Manual, (true, true))
   | _ -> None
   in
-  let is_set = Context.Named.Declaration.is_local_assum % fst in
+  let is_set = is_local_assum % fst in
   List.rev_map map (List.filter is_set ctx)
 
 let adjust_side_condition p = function
-- 
cgit v1.2.3