- bugfix is refreshed state of AutCrg: now we return a fresh state

[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 834a9a19f434a5dfa77c2902a9f4eae80f07181b..3de74e13f0944d800d13c39d178f4fd69e99e39c 100644 (file)
--- a/helm/software/helena/src/modules.ml
+++ b/helm/software/helena/src/modules.ml
@@ -1,4 +1,8 @@
-(* free = F I K M P Q U V W *)
+(* free = F I J M Q U V W *)
+
+module KF = Filename
+module KH = Hashtbl
+module KP = Printf
 
 module U  = NUri
 module UH = NUri.UriHash
@@ -7,9 +11,9 @@ module C  = Cps
 module S  = Share
 module L  = Log
 module Y  = Time (**)
+module P  = Marks
 
 module G  = Options
-module J  = Marks (**)
 module H  = Hierarchy
 module N  = Layer
 module E  = Entity