X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fxml%2Ftest.ml;h=a67176e438ef8d9d401f90566ff7b7c664934720;hb=926bd86002f91d2bf2a3ce7376309f5106268959;hp=84c042e286d98a32ce2f899a15979dcaffc7edc4;hpb=66be8fbe19e2ccfa0e6a7abeba605152d1322595;p=helm.git

diff --git a/matita/components/xml/test.ml b/matita/components/xml/test.ml
index 84c042e28..a67176e43 100644
--- a/matita/components/xml/test.ml
+++ b/matita/components/xml/test.ml
@@ -11,11 +11,11 @@ let callbacks =
   { default_callbacks with
       start_element =
         Some (fun tag attrs ->
-          let length = List.length attrs in
+          let _length = List.length attrs in
           print (sprintf "opening %s [%s]"
             tag (String.concat ";" (List.map fst attrs))));
       end_element = Some (fun tag -> print ("closing " ^ tag));
-      character_data = Some (fun data -> print "character data ...");
+      character_data = Some (fun _data -> print "character data ...");
   }
 
 let xml_parser = create_parser callbacks