backport of WIP on \lambda\delta to matita 0.99.3

[helm.git] / helm / software / helena / src / automath / autCrg.mli

diff --git a/helm/software/helena/src/automath/autCrg.mli b/helm/software/helena/src/automath/autCrg.mli
index c7d93d3ce4f13838c821faf0bdb9a46bc53b834e..d4e7cef66ea3cdfea86decdeac2e4a374fd024e3 100644 (file)
--- 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