exportation to \lambda\delta representation in elpi

[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 72e1a74938d4c460a5cdc0da67f7560fb1a74210..c6767aae7fedfb3e7d9cf05572e44f275ec38b42 100644 (file)
--- a/helm/software/helena/src/modules.ml
+++ b/helm/software/helena/src/modules.ml
@@ -50,7 +50,9 @@ module BR = BrgReduction
 module BT = BrgType
 module BV = BrgValidity
 module BU = BrgUntrusted
-module BG = BrgGrafite
+module BG = BrgGrafite (**)
+module BA = BrgGallina (**)
+module BP = BrgELPI (**)
 
 module Z  = Bag
 module ZD = BrgCrg