HUGE COMMIT:

[helm.git] / matita / components / ng_refiner / nCicRefineUtil.mli

diff --git a/matita/components/ng_refiner/nCicRefineUtil.mli b/matita/components/ng_refiner/nCicRefineUtil.mli
index 345b6bde245794a28f43ac16a11f0761babc2110..22834237888e9d640c778fe3211ddbfa4986988c 100644 (file)
--- a/matita/components/ng_refiner/nCicRefineUtil.mli
+++ b/matita/components/ng_refiner/nCicRefineUtil.mli
@@ -11,9 +11,10 @@
 
 (* $Id: nCicRefiner.ml 9802 2009-05-25 15:39:26Z tassi $ *)
 
-val alpha_equivalence : NCic.term -> NCic.term -> bool 
+val alpha_equivalence : #NCic.status -> NCic.term -> NCic.term -> bool 
 
 val replace_lifting :
+  #NCic.status ->
   equality:((string * NCic.context_entry) list ->
             NCic.term -> NCic.term -> bool) ->
   context:(string * NCic.context_entry) list ->