X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcic_proof_checking%2FcicDischarge.mli;h=7d6f630f4ace6a8af204b552871de3112aab5d78;hb=bb7af347df386afcd3ea2adea8e7e982e3a5a253;hp=a6b097db2af01c22018662956dc5f5b56da6ae58;hpb=d2d20cd33c42d0897765387042c3779109bbf4fd;p=helm.git

diff --git a/helm/software/components/cic_proof_checking/cicDischarge.mli b/helm/software/components/cic_proof_checking/cicDischarge.mli
index a6b097db2..7d6f630f4 100644
--- a/helm/software/components/cic_proof_checking/cicDischarge.mli
+++ b/helm/software/components/cic_proof_checking/cicDischarge.mli
@@ -35,3 +35,6 @@ val discharge_object:
 val discharge_uri:
    (string -> string) -> (UriManager.uri -> UriManager.uri) ->
    UriManager.uri -> Cic.obj * bool
+
+(* if activated prints the received object before and after discharging *)
+val debug: bool ref