the commit continues with the support for validation (inactive for now)

[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 207fcccda6b7e74649bdae00e08821afbf08b043..63cadfb75e38cd759720bf5774103ee252fe31c0 100644 (file)
--- a/helm/software/helena/src/modules.ml
+++ b/helm/software/helena/src/modules.ml
@@ -44,7 +44,7 @@ module BE = brgEnvironment
 module BS = brgSubstitution
 module BR = brgReduction
 module BT = brgType
-module BV = brgValid
+module BV = brgValidity
 module BU = brgUntrusted
 
 module Z  = bag