X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fautomath%2FautCrg.mli;h=d4e7cef66ea3cdfea86decdeac2e4a374fd024e3;hb=600fba840c748f67593838673a6eb40eab9b68e5;hp=9d58247eac467590aa1e5dc7b4caff8cad37bf3f;hpb=39cf453a20e35416d0fd932cc5bf14733e918587;p=helm.git

diff --git a/helm/software/helena/src/automath/autCrg.mli b/helm/software/helena/src/automath/autCrg.mli
index 9d58247ea..d4e7cef66 100644
--- a/helm/software/helena/src/automath/autCrg.mli
+++ b/helm/software/helena/src/automath/autCrg.mli
@@ -16,4 +16,4 @@ val initial_status: unit -> status
 val refresh_status: status -> status
 
 val crg_of_aut: (status -> 'a) -> (status -> Crg.entity -> 'a) -> 
-                Status.status -> status -> Aut.command -> 'a
+                Layer.status -> status -> Aut.command -> 'a