we are optimizing the code by conditional compilation.

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

diff --git a/helm/software/helena/src/basic_rg/brgGallina.ml b/helm/software/helena/src/basic_rg/brgGallina.ml
index bdb78144ac1152bf2f1f24b7e2f7f36af920779e..b8274ca301b1fb527410601ab93a6bc1f9c64cb2 100644 (file)
--- a/helm/software/helena/src/basic_rg/brgGallina.ml
+++ b/helm/software/helena/src/basic_rg/brgGallina.ml
@@ -20,6 +20,8 @@ module E  = Entity
 module R  = Alpha
 module B  = Brg
 
+IFDEF MANAGER THEN
+
 (* Internal functions *******************************************************)
 
 let ok = ref true
@@ -130,3 +132,5 @@ let open_out fname =
    out_preamble och;
    out_top_comment och (KP.sprintf "This file was generated by %s: do not edit" G.version_string);
    output_entity och, close_out och
+
+END