X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_refiner%2FnCicUnification.mli;h=83a59b64c550ad977d38148d7b19428fca9d2b72;hb=18c4ae3e237f4f4c0e034359da79f62f141f20d2;hp=86f5fae1aafa86d8285d5149de8affa0c82d7a9a;hpb=bb7f9a362891d4377011783016b74f0b0b2a5974;p=helm.git

diff --git a/helm/software/components/ng_refiner/nCicUnification.mli b/helm/software/components/ng_refiner/nCicUnification.mli
index 86f5fae1a..83a59b64c 100644
--- a/helm/software/components/ng_refiner/nCicUnification.mli
+++ b/helm/software/components/ng_refiner/nCicUnification.mli
@@ -35,3 +35,5 @@ val delift_type_wrt_terms:
   NCic.term -> NCic.term list -> 
    NCic.metasenv * NCic.substitution * NCic.term
 
+
+val debug : bool ref