X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_refiner%2FnCicRefineUtil.mli;h=22834237888e9d640c778fe3211ddbfa4986988c;hb=894d518aa760c9f816ddb0dc2b3fa88e1fe20a94;hp=345b6bde245794a28f43ac16a11f0761babc2110;hpb=a4a2345e2efaf4cc64aa4daf40e2bce05a400f12;p=helm.git

diff --git a/matita/components/ng_refiner/nCicRefineUtil.mli b/matita/components/ng_refiner/nCicRefineUtil.mli
index 345b6bde2..228342378 100644
--- 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 ->