X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fbasic_rg%2FbrgLP.ml;h=857d5ccacb121efc3f9161066db552292b4a2486;hb=b37863d4598516a06241f18ad0db963399015bf2;hp=0eb193b7d1521c2662d4b4635d7112da0e6b6e38;hpb=a0c8e5f59273c09542a1b8184dd1577d8f4240d7;p=helm.git

diff --git a/helm/software/helena/src/basic_rg/brgLP.ml b/helm/software/helena/src/basic_rg/brgLP.ml
index 0eb193b7d..857d5ccac 100644
--- a/helm/software/helena/src/basic_rg/brgLP.ml
+++ b/helm/software/helena/src/basic_rg/brgLP.ml
@@ -20,6 +20,8 @@ module E  = Entity
 module R  = Alpha
 module B  = Brg
 
+IFDEF MANAGER THEN
+
 (* Internal functions *******************************************************)
 
 let ok = ref true
@@ -281,3 +283,5 @@ let open_out_tj3 fname =
    out_clause och "module grundlagen.";
    out_clause och "accumulate helena.";
    output_entity_tj3 och, close_out_tj3 och
+
+END