X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fbasic_rg%2FbrgValidity.mli;h=fca8589abf9fc84bbb251217b4e69fdd999d46c0;hb=0c302a9fda708e5019e48d14c5419a8a65190745;hp=1b552b83c4e40848fcd7e6422dc92ecf3bdcd43f;hpb=30eb28f8c35d7667b3a0052c30d2750a492fa464;p=helm.git

diff --git a/helm/software/helena/src/basic_rg/brgValidity.mli b/helm/software/helena/src/basic_rg/brgValidity.mli
index 1b552b83c..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.rtm -> Brg.term -> 'a
+   Layer.status -> BrgReduction.rtm -> Brg.term -> 'a