X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fbasic_ag%2FbagCrg.mli;h=a46705f7889349c171c5d61c60ab13fb1725a7b6;hb=a77d0bd6a04e94f765d329d47b37d9e04d349b14;hp=b1ffee4afa79f51abaa3932f25fde26af1cbbde7;hpb=ac97468f5422efc770316286cb807e3d3245a474;p=helm.git

diff --git a/helm/software/helena/src/basic_ag/bagCrg.mli b/helm/software/helena/src/basic_ag/bagCrg.mli
index b1ffee4af..a46705f78 100644
--- 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