X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fbasic_ag%2FbagUntrusted.mli;h=c9b0b7c4d4316a34fe1256528355dc48c034c6dd;hb=bbc1c6ccb596693c46f4d75d7875b94c79f1d575;hp=d9ea418979fd0124dce6e08850a29ea955866a60;hpb=30eb28f8c35d7667b3a0052c30d2750a492fa464;p=helm.git

diff --git a/helm/software/helena/src/basic_ag/bagUntrusted.mli b/helm/software/helena/src/basic_ag/bagUntrusted.mli
index d9ea41897..c9b0b7c4d 100644
--- a/helm/software/helena/src/basic_ag/bagUntrusted.mli
+++ b/helm/software/helena/src/basic_ag/bagUntrusted.mli
@@ -11,4 +11,4 @@
 
 val type_check:
    (Bag.message -> 'a) -> (Bag.term -> Bag.entity -> 'a) ->
-   Status.status -> Bag.entity -> 'a
+   Layer.status -> Bag.entity -> 'a