X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fxml%2Fxml.ml;h=c6bbd66b5591bed13ac946b986019ce5d312a414;hb=e3369ffc8b690703cfafc7985f69db5fc140d749;hp=9696fa4bc84102cb953792f8ee6521747805d1ed;hpb=f34f2623a3133e235331d0c0c1830ec213dd09f1;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
 ;;