last commit for helena 0.8.2

[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 3de74e13f0944d800d13c39d178f4fd69e99e39c..72e1a74938d4c460a5cdc0da67f7560fb1a74210 100644 (file)
--- a/helm/software/helena/src/modules.ml
+++ b/helm/software/helena/src/modules.ml
@@ -2,7 +2,10 @@
 
 module KF = Filename
 module KH = Hashtbl
+module KL = List
 module KP = Printf
+module KS = Scanf
+module KT = String
 
 module U  = NUri
 module UH = NUri.UriHash
@@ -26,7 +29,6 @@ module DO = CrgOutput
 module T  = Txt
 module TP = TxtParser
 module TL = TxtLexer
-module TT = TxtTxt
 module TD = TxtCrg
 
 module A  = Aut