X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fbasic_rg%2FbrgReduction.mli;h=57e2bfb417ea2540c32244bc08510f040cb2f6cb;hb=347c7d213fd1d106f22acd6fff82a83af14c1bbd;hp=a384548b36ebe1bf05fe45864ecd02f7240ae471;hpb=dcdee4ca839dac671924a95f0ada71faf06a8be4;p=helm.git

diff --git a/helm/software/lambda-delta/basic_rg/brgReduction.mli b/helm/software/lambda-delta/basic_rg/brgReduction.mli
index a384548b3..57e2bfb41 100644
--- a/helm/software/lambda-delta/basic_rg/brgReduction.mli
+++ b/helm/software/lambda-delta/basic_rg/brgReduction.mli
@@ -17,5 +17,3 @@ val domain:
 
 val are_convertible:
    (bool -> 'a) -> ?si:bool -> Brg.context -> Brg.term -> Brg.term -> 'a
-
-val reductions: BrgOutput.reductions ref