- we are moving from old (patched) management of sort inclusion

[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 9d58247eac467590aa1e5dc7b4caff8cad37bf3f..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.status -> status -> Aut.command -> 'a
+                Layer.status -> status -> Aut.command -> 'a