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

[helm.git] / helm / software / helena / src / basic_ag / bagCrg.mli

diff --git a/helm/software/helena/src/basic_ag/bagCrg.mli b/helm/software/helena/src/basic_ag/bagCrg.mli
index b1ffee4afa79f51abaa3932f25fde26af1cbbde7..a46705f7889349c171c5d61c60ab13fb1725a7b6 100644 (file)
--- a/helm/software/helena/src/basic_ag/bagCrg.mli
+++ b/helm/software/helena/src/basic_ag/bagCrg.mli
@@ -9,6 +9,6 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
 
-val bag_of_crg: Level.status -> (Bag.term -> 'a) -> Crg.term -> 'a
+val bag_of_crg: Layer.status -> (Bag.term -> 'a) -> Crg.term -> 'a
 
 val crg_of_bag: (Crg.term -> 'a) -> Bag.term -> 'a