X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fbasic_rg%2FbrgGrafite.mli;h=1b68ccedb08118c7a5bcf99261dd7f7fd9d4be81;hb=c44a7c4d35c1bb9651c3596519d8262e52e90ff4;hp=5b5fca4c55a5a212210cc8d9a57ca6362aa52cb6;hpb=bbc1c6ccb596693c46f4d75d7875b94c79f1d575;p=helm.git

diff --git a/helm/software/helena/src/basic_rg/brgGrafite.mli b/helm/software/helena/src/basic_rg/brgGrafite.mli
index 5b5fca4c5..1b68ccedb 100644
--- 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