we begin the commit of the validation procedure

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