From e941272fd9252060280a4a209030dbc8db6e93c9 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Fri, 20 Jul 2018 19:36:01 +0200
Subject: Remove environment passing to coercion printers

(It's unused after moving coercions to globrefs)
---
 vernac/vernacentries.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'vernac')

diff --git a/vernac/vernacentries.ml b/vernac/vernacentries.ml
index f7ba305374..385e28f64b 100644
--- a/vernac/vernacentries.ml
+++ b/vernac/vernacentries.ml
@@ -1802,13 +1802,13 @@ let vernac_print ~atts env sigma =
   | PrintName (qid,udecl) ->
     dump_global qid;
     print_name env sigma qid udecl
-  | PrintGraph -> Prettyp.print_graph env sigma
+  | PrintGraph -> Prettyp.print_graph ()
   | PrintClasses -> Prettyp.print_classes()
   | PrintTypeClasses -> Prettyp.print_typeclasses()
   | PrintInstances c -> Prettyp.print_instances (smart_global c)
-  | PrintCoercions -> Prettyp.print_coercions env sigma
+  | PrintCoercions -> Prettyp.print_coercions ()
   | PrintCoercionPaths (cls,clt) ->
-    Prettyp.print_path_between env sigma (cl_of_qualid cls) (cl_of_qualid clt)
+    Prettyp.print_path_between (cl_of_qualid cls) (cl_of_qualid clt)
   | PrintCanonicalConversions -> Prettyp.print_canonical_projections env sigma
   | PrintUniverses (b, dst) ->
      let univ = Global.universes () in
-- 
cgit v1.2.3