X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fbasic_rg%2FbrgValidity.mli;h=fca8589abf9fc84bbb251217b4e69fdd999d46c0;hb=a82d87a4c2ff9f518385fba7357dafb632a22882;hp=8ee88457d645b6d8088bd55bf78c6ebd5c2b542e;hpb=d21e43252fea9aa0351824525014a2471b7bd232;p=helm.git

diff --git a/helm/software/helena/src/basic_rg/brgValidity.mli b/helm/software/helena/src/basic_rg/brgValidity.mli
index 8ee88457d..fca8589ab 100644
--- a/helm/software/helena/src/basic_rg/brgValidity.mli
+++ b/helm/software/helena/src/basic_rg/brgValidity.mli
@@ -11,4 +11,4 @@
 
 val validate: 
    (BrgReduction.message -> 'a) -> (unit -> 'a) -> 
-   Status.status -> BrgReduction.kam -> Brg.term -> 'a
+   Layer.status -> BrgReduction.rtm -> Brg.term -> 'a