X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcic_proof_checking%2FcicReduction.mli;h=fd98c4c0b99538c73e48ec7053388e130382689f;hb=f59b591eb48a06518b34d7f809bee51989307404;hp=82be7fd3f5f43eface9449152ca330d64757c84e;hpb=acc9067d3263ffced81c52539f918d47d418d5c7;p=helm.git

diff --git a/helm/software/components/cic_proof_checking/cicReduction.mli b/helm/software/components/cic_proof_checking/cicReduction.mli
index 82be7fd3f..fd98c4c0b 100644
--- a/helm/software/components/cic_proof_checking/cicReduction.mli
+++ b/helm/software/components/cic_proof_checking/cicReduction.mli
@@ -28,6 +28,7 @@ exception ReferenceToConstant
 exception ReferenceToVariable
 exception ReferenceToCurrentProof
 exception ReferenceToInductiveDefinition
+val ndebug : bool ref
 val fdebug : int ref
 val whd : 
   ?delta:bool -> ?subst:Cic.substitution -> Cic.context -> Cic.term -> Cic.term