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

[helm.git] / helm / software / helena / src / basic_rg / brgUntrusted.mli

diff --git a/helm/software/helena/src/basic_rg/brgUntrusted.mli b/helm/software/helena/src/basic_rg/brgUntrusted.mli
index a93abd5b6d0f108a9b1efe5ca227d738192c35ff..f3c34ab143cbf401dfa3c8cd015b38e18645c82c 100644 (file)
--- a/helm/software/helena/src/basic_rg/brgUntrusted.mli
+++ b/helm/software/helena/src/basic_rg/brgUntrusted.mli
@@ -11,8 +11,8 @@
 
 val type_check:
    (BrgReduction.message -> 'a) -> (Brg.term -> Brg.entity -> 'a) -> 
-   Status.status -> Brg.entity -> 'a
+   Layer.status -> Brg.entity -> 'a
 
 val validate:
    (BrgReduction.message -> 'a) -> (unit -> 'a) -> 
-   Status.status -> Brg.entity -> 'a
+   Layer.status -> Brg.entity -> 'a