X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fxml%2Fxml.ml;h=c6bbd66b5591bed13ac946b986019ce5d312a414;hb=3df31c02806eca83c63c14e6a89844f764c3e2cb;hp=9696fa4bc84102cb953792f8ee6521747805d1ed;hpb=e2718488c73b2cdf20b26af46e80a11b91fac220;p=helm.git

diff --git a/matita/components/xml/xml.ml b/matita/components/xml/xml.ml
index 9696fa4bc..c6bbd66b5 100644
--- 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
 ;;