A new switch to activate/deactive nCicReduction pretty printing.

[helm.git] / helm / software / components / ng_kernel / nCicReduction.mli

diff --git a/helm/software/components/ng_kernel/nCicReduction.mli b/helm/software/components/ng_kernel/nCicReduction.mli
index 9cff07d8fd0b9e623245f12ab6cdf09d24936bcf..713edd1705050d14fe6ee2d1fee270a71f7fd713 100644 (file)
--- 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 ->