Most warnings turned into errors and avoided

[helm.git] / matita / components / ng_paramodulation / pp.ml

diff --git a/matita/components/ng_paramodulation/pp.ml b/matita/components/ng_paramodulation/pp.ml
index 64af9ab17cdef4ac899e3d4f8f44ecf95c83ab10..3f2a5cecc82202cf444080629efa11c5dc1cb43c 100644 (file)
--- 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