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=c7d93d3ce4f13838c821faf0bdb9a46bc53b834e;hpb=95872555aaa040a22ad2d93cb1278f79e20da70c;p=helm.git

diff --git a/helm/software/helena/src/automath/autCrg.mli b/helm/software/helena/src/automath/autCrg.mli
index c7d93d3ce..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 -> Aut.command -> 'a
+                Layer.status -> status -> Aut.command -> 'a