X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fmodules.ml;h=f8623ce7080834fece00e977325ddeb368f897af;hb=4ea53eb93717cb1bcd6a0ccb7b1a4d711c1c7a9b;hp=dd8cd73583de4f593ed4f1a852b477bde664f1bd;hpb=26d2ecb945a881c61d03f3c259996374209f5d7f;p=helm.git

diff --git a/helm/software/helena/src/modules.ml b/helm/software/helena/src/modules.ml
index dd8cd7358..f8623ce70 100644
--- a/helm/software/helena/src/modules.ml
+++ b/helm/software/helena/src/modules.ml
@@ -53,7 +53,7 @@ module BU = BrgUntrusted
 module BM = BrgMatita
 module BQ = BrgCoq
 module BH = BrgHelena
-module BC = BrgCC
+module BP = BrgPTS
 module BY = BrgLYP
 
 module Z  = Bag