jet a change in dependences

[helm.git] / helm / software / helena / src / basic_rg / brgGrafite.mli

diff --git a/helm/software/helena/src/basic_rg/brgGrafite.mli b/helm/software/helena/src/basic_rg/brgGrafite.mli
index 5b5fca4c55a5a212210cc8d9a57ca6362aa52cb6..1b68ccedb08118c7a5bcf99261dd7f7fd9d4be81 100644 (file)
--- a/helm/software/helena/src/basic_rg/brgGrafite.mli
+++ b/helm/software/helena/src/basic_rg/brgGrafite.mli
@@ -9,8 +9,8 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
 
-val open_out: string -> out_channel
+IFDEF MANAGER THEN
 
-val output_entity: Layer.status -> out_channel -> Brg.entity -> bool
+val open_out: string -> Brg.manager
 
-val close_out: out_channel -> unit
+END