Merge PR #6156: [api] Rename `global_reference` to `GlobRef.t` to follow kernel style.

3 files changed, 4 insertions, 6 deletions

diff --git a/printing/prettyp.ml b/printing/prettyp.ml
index 1f17d844f7..b956910318 100644
--- a/printing/prettyp.ml
+++ b/printing/prettyp.ml
@@ -328,7 +328,7 @@ type 'a locatable_info = {
 type locatable = Locatable : 'a locatable_info -> locatable
 
 type logical_name =
-  | Term of global_reference
+  | Term of GlobRef.t
   | Dir of global_dir_reference
   | Syntactic of KerName.t
   | ModuleType of ModPath.t
diff --git a/printing/prettyp.mli b/printing/prettyp.mli
index 213f0aeeb6..2f2dcd563b 100644
--- a/printing/prettyp.mli
+++ b/printing/prettyp.mli
@@ -12,7 +12,6 @@ open Names
 open Environ
 open Reductionops
 open Libnames
-open Globnames
 open Misctypes
 open Evd
 
@@ -50,7 +49,7 @@ val print_canonical_projections : env -> Evd.evar_map -> Pp.t
 
 (** Pretty-printing functions for type classes and instances *)
 val print_typeclasses : unit -> Pp.t
-val print_instances : global_reference -> Pp.t
+val print_instances : GlobRef.t -> Pp.t
 val print_all_instances : unit -> Pp.t
 
 val inspect : env -> Evd.evar_map -> int -> Pp.t
diff --git a/printing/printer.mli b/printing/printer.mli
index 41843680bc..4af90e6a62 100644
--- a/printing/printer.mli
+++ b/printing/printer.mli
@@ -9,7 +9,6 @@
 (************************************************************************)
 
 open Names
-open Globnames
 open Constr
 open Environ
 open Pattern
@@ -130,8 +129,8 @@ val pr_cumulativity_info   : evar_map -> Univ.CumulativityInfo.t -> Pp.t
 
 (** Printing global references using names as short as possible *)
 
-val pr_global_env          : Id.Set.t -> global_reference -> Pp.t
-val pr_global              : global_reference -> Pp.t
+val pr_global_env          : Id.Set.t -> GlobRef.t -> Pp.t
+val pr_global              : GlobRef.t -> Pp.t
 
 val pr_constant            : env -> Constant.t -> Pp.t
 val pr_existential_key     : evar_map -> Evar.t -> Pp.t