X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_paramodulation%2Fpp.ml;h=3f2a5cecc82202cf444080629efa11c5dc1cb43c;hb=076439def28e649ec384fae038ed021dadd5f75c;hp=64af9ab17cdef4ac899e3d4f8f44ecf95c83ab10;hpb=974970b91996a4caae7af96b85acde33254cdfc9;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