X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_paramodulation%2Fpp.ml;h=3f2a5cecc82202cf444080629efa11c5dc1cb43c;hb=3df31c02806eca83c63c14e6a89844f764c3e2cb;hp=64af9ab17cdef4ac899e3d4f8f44ecf95c83ab10;hpb=e2718488c73b2cdf20b26af46e80a11b91fac220;p=helm.git

diff --git a/matita/components/ng_paramodulation/pp.ml b/matita/components/ng_paramodulation/pp.ml
index 64af9ab17..3f2a5cecc 100644
--- a/matita/components/ng_paramodulation/pp.ml
+++ b/matita/components/ng_paramodulation/pp.ml
@@ -70,7 +70,7 @@ let pp_proof bag ~formatter:f p =
         Format.fprintf f "%d: Exact (" eq;
         pp_foterm f t;
         Format.fprintf f ")@;";
-    | Terms.Step (rule,eq1,eq2,dir,pos,subst) ->
+    | Terms.Step (rule,eq1,eq2,dir,_pos,_subst) ->
         Format.fprintf f "%d: %s("
           eq (string_of_rule rule);
 	Format.fprintf f "|%d with %d dir %s))" eq1 eq2