X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_paramodulation%2Fpp.mli;h=767c87e0b99610c3bd172e4d68d33ecbe7424ca7;hb=2d3494c5c68a48b663eed55c1ac55f3c8f832820;hp=9cdc7a7c18882059b4e6cc6262aeb640bfa2314a;hpb=a99b3bf44964a6a3d56d752efbdc2c962ce24d08;p=helm.git

diff --git a/helm/software/components/ng_paramodulation/pp.mli b/helm/software/components/ng_paramodulation/pp.mli
index 9cdc7a7c1..767c87e0b 100644
--- a/helm/software/components/ng_paramodulation/pp.mli
+++ b/helm/software/components/ng_paramodulation/pp.mli
@@ -17,7 +17,7 @@ module Pp (B : Terms.Blob) :
     val pp_foterm: B.t Terms.foterm -> string
     val pp_proof: B.t Terms.bag -> B.t Terms.proof -> string
     val pp_substitution: B.t Terms.substitution -> string
-    val pp_unit_clause: B.t Terms.unit_clause -> string
+    val pp_unit_clause: ?margin:int -> B.t Terms.unit_clause -> string
     val pp_bag: B.t Terms.bag -> string
 
   end