update in basic_2

[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 5c7b41bec91350426872604816cfa71cfa06ed6f..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: (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