Merge pull request #78 from ppedrot/revert-74-explicit-names-quotient

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

Author: ybertot

graphdepend.mlg

@@ -93,7 +93,7 @@ module G = struct
 
   module Edges = Set.Make (Edge)
 
-  module GMap = Names.GlobRef.Map_env
+  module GMap = Map.Make (Names.GlobRef.Ordered_env)
 
   type t = int GMap.t * Edges.t