Use of standard OCaml syntax

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

diff --git a/matita/components/xml/test.ml b/matita/components/xml/test.ml
index 84c042e286d98a32ce2f899a15979dcaffc7edc4..a67176e438ef8d9d401f90566ff7b7c664934720 100644 (file)
--- 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