we are optimizing the code by conditional compilation.

[helm.git] / helm / software / helena / src / basic_rg / brgLP.ml

diff --git a/helm/software/helena/src/basic_rg/brgLP.ml b/helm/software/helena/src/basic_rg/brgLP.ml
index 0eb193b7d1521c2662d4b4635d7112da0e6b6e38..857d5ccacb121efc3f9161066db552292b4a2486 100644 (file)
--- 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