- the disambiguation of unified binders continues

[helm.git] / helm / software / helena / src / modules.ml

diff --git a/helm/software/helena/src/modules.ml b/helm/software/helena/src/modules.ml
index b0524922446194002ee7e1b3e4fbce5b402db7dc..a3cbbd668989da04bb2b75a2adeabb2db712e6e2 100644 (file)
--- a/helm/software/helena/src/modules.ml
+++ b/helm/software/helena/src/modules.ml
@@ -1,4 +1,4 @@
-(* free = F I M P U V *)
+(* free = F I M P Q U V *)
 
 module U  = NUri
 module K  = NUri.UriHash
@@ -8,14 +8,13 @@ module W  = Share (**)
 module L  = Log
 module Y  = Time (**)
 
+module G  = Options
 module J  = Marks (**)
 module H  = Hierarchy
 module N  = Level
 module E  = Entity
-module G  = Options
 module O  = Output
 module R  = Alpha
-module Q  = Ccs
 module S  = Status
 
 module D  = Crg
@@ -46,6 +45,7 @@ module BR = BrgReduction
 module BT = BrgType
 module BV = BrgValidity
 module BU = BrgUntrusted
+module BG = BrgGrafite
 
 module Z  = Bag
 module ZD = BrgCrg