- we are moving from old (patched) management of sort inclusion

[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 27b927773bce236dd5d78799c763e976d3ddd5ad..5b5fca4c55a5a212210cc8d9a57ca6362aa52cb6 100644 (file)
--- a/helm/software/helena/src/basic_rg/brgGrafite.mli
+++ b/helm/software/helena/src/basic_rg/brgGrafite.mli
@@ -11,6 +11,6 @@
 
 val open_out: string -> out_channel
 
-val output_entity: Level.status -> out_channel -> Brg.entity -> bool
+val output_entity: Layer.status -> out_channel -> Brg.entity -> bool
 
 val close_out: out_channel -> unit