- static disambiguation of Automath unified binders

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