X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fmodules.ml;h=72895c06f22c534db93c8e4df5a63d977eb3244e;hb=1b4d894e7349bba991823249f1716fb8f18239b7;hp=e6073d6ffc0640f6d9098aed1c3c4afc87ceef60;hpb=c6aece41fb3865f411bfe2a886b3b3cfb519031f;p=helm.git

diff --git a/helm/software/helena/src/modules.ml b/helm/software/helena/src/modules.ml
index e6073d6ff..72895c06f 100644
--- a/helm/software/helena/src/modules.ml
+++ b/helm/software/helena/src/modules.ml
@@ -52,6 +52,7 @@ module BV = BrgValidity
 module BU = BrgUntrusted
 module BG = BrgGrafite (**)
 module BA = BrgGallina (**)
+module BP = BrgLP
 
 module Z  = Bag
 module ZD = BrgCrg