Adapt w.r.t. rocq-prover/rocq#13075.

ppedrot · ppedrot · commit 1634f43c554f · 2020-10-21T12:32:06.000+02:00
diff --git a/graphdepend.mlg b/graphdepend.mlg
@@ -93,7 +93,7 @@ module G = struct
 
   module Edges = Set.Make (Edge)
 
-  module GMap = Map.Make (Names.GlobRef.Ordered_env)
+  module GMap = Map.Make (Names.GlobRef.UserOrd)
 
   type t = int GMap.t * Edges.t
 
