X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Ftactics%2Fparamodulation%2Futils.mli;h=ce14d480f0735a426035191df6d833385258b181;hb=771ee8b9d122fa963881c876e86f90531bb7434f;hp=2b09e59ae5655024cdb5fc2521ecbf4cc836d18e;hpb=b1527286e32c8651d65619af61e3f638b3b89f8d;p=helm.git

diff --git a/helm/ocaml/tactics/paramodulation/utils.mli b/helm/ocaml/tactics/paramodulation/utils.mli
index 2b09e59ae..ce14d480f 100644
--- a/helm/ocaml/tactics/paramodulation/utils.mli
+++ b/helm/ocaml/tactics/paramodulation/utils.mli
@@ -63,7 +63,7 @@ val ao: Cic.term -> Cic.term -> comparison
 (** term-ordering function settable by the user *)
 val compare_terms: (Cic.term -> Cic.term -> comparison) ref
 
-val guarded_simpl:  Cic.context -> Cic.term -> Cic.term
+val guarded_simpl:  ?debug:bool -> Cic.context -> Cic.term -> Cic.term
 
 type equality_sign = Negative | Positive