advances on exportation to prolog

[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 c6767aae7fedfb3e7d9cf05572e44f275ec38b42..72895c06f22c534db93c8e4df5a63d977eb3244e 100644 (file)
--- a/helm/software/helena/src/modules.ml
+++ b/helm/software/helena/src/modules.ml
@@ -52,7 +52,7 @@ module BV = BrgValidity
 module BU = BrgUntrusted
 module BG = BrgGrafite (**)
 module BA = BrgGallina (**)
-module BP = BrgELPI (**)
+module BP = BrgLP
 
 module Z  = Bag
 module ZD = BrgCrg