lambda-delta:

[helm.git] / helm / software / lambda-delta / basic_rg / brgReduction.mli

diff --git a/helm/software/lambda-delta/basic_rg/brgReduction.mli b/helm/software/lambda-delta/basic_rg/brgReduction.mli
index a384548b36ebe1bf05fe45864ecd02f7240ae471..57e2bfb417ea2540c32244bc08510f040cb2f6cb 100644 (file)
--- 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