- bug fix in the static disambiguation of unified binders

[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 a3cbbd668989da04bb2b75a2adeabb2db712e6e2..07709401c5745ee8e6284d361f54dd04394924ec 100644 (file)
--- a/helm/software/helena/src/modules.ml
+++ b/helm/software/helena/src/modules.ml
@@ -1,7 +1,7 @@
-(* free = F I M P Q U V *)
+(* free = F I K M P Q U V *)
 
 module U  = NUri
-module K  = NUri.UriHash
+module UH = NUri.UriHash
 
 module C  = Cps
 module W  = Share (**)