X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_refiner%2FnCicRefiner.mli;h=1a04d2abde5f442348b0ea921bc6a66e35829147;hb=0581f3c8dc2098b82cd31a0fbed224a95652bd88;hp=b75ee3a815c6cf07dc0c60a0c5239929ac7e67f6;hpb=8bc5bc0e8375a85736f6a5df317d129d5efa8de4;p=helm.git

diff --git a/helm/software/components/ng_refiner/nCicRefiner.mli b/helm/software/components/ng_refiner/nCicRefiner.mli
index b75ee3a81..1a04d2abd 100644
--- a/helm/software/components/ng_refiner/nCicRefiner.mli
+++ b/helm/software/components/ng_refiner/nCicRefiner.mli
@@ -28,3 +28,4 @@ val typeof_obj :
  ?localise:(NCic.term -> Stdpp.location) ->
   NCic.obj -> NCic.obj
 
+val debug : bool ref