- the disambiguation of unified binders continues

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

diff --git a/helm/software/helena/src/basic_rg/brgReduction.mli b/helm/software/helena/src/basic_rg/brgReduction.mli
index 56fbf772343cdffc2aa6efbbeb37db44b0f3a299..42798aeee066437b1d86061bc1c51953a066708b 100644 (file)
--- a/helm/software/helena/src/basic_rg/brgReduction.mli
+++ b/helm/software/helena/src/basic_rg/brgReduction.mli
@@ -25,4 +25,4 @@ val xwhd: Status.status -> kam -> int option -> Brg.term -> kam * Brg.term
 val are_convertible: 
    Status.status -> kam -> int option -> Brg.term -> kam -> int option -> Brg.term -> bool
 
-val specs: (kam, Brg.term) Log.specs
+val specs: (Level.status, kam, Brg.term) Log.specs