Most warnings turned into errors and avoided

[helm.git] / matita / components / xml / xml.ml

diff --git a/matita/components/xml/xml.ml b/matita/components/xml/xml.ml
index 9696fa4bc84102cb953792f8ee6521747805d1ed..c6bbd66b5591bed13ac946b986019ce5d312a414 100644 (file)
--- a/matita/components/xml/xml.ml
+++ b/matita/components/xml/xml.ml
@@ -92,7 +92,7 @@ let pp_gen f strm =
       pp_r m s
   | [< >] -> ()
  and print_spaces m =
-  for i = 1 to m do f "  " done
+  for _i = 1 to m do f "  " done
  in
  pp_r 0 strm
 ;;