X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCicReduction.mli;h=713edd1705050d14fe6ee2d1fee270a71f7fd713;hb=cdd019ea6419fc058a92b1aca950a4eff11188d1;hp=9cff07d8fd0b9e623245f12ab6cdf09d24936bcf;hpb=03f203779699068d517f298fe31b511821cdd561;p=helm.git

diff --git a/helm/software/components/ng_kernel/nCicReduction.mli b/helm/software/components/ng_kernel/nCicReduction.mli
index 9cff07d8f..713edd170 100644
--- a/helm/software/components/ng_kernel/nCicReduction.mli
+++ b/helm/software/components/ng_kernel/nCicReduction.mli
@@ -13,6 +13,8 @@
 
 exception AssertFailure of string Lazy.t;;
 
+val debug: bool ref
+
 val whd : 
   ?delta:int -> subst:NCic.substitution -> 
   NCic.context -> NCic.term ->