X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2Fsrc%2Focaml%2Fuwobo_engine.ml;h=4d85786dc5f3d1b87467f40bdb27f61d20a39b15;hb=687cbab38e29872274431145d61637da4f672065;hp=9d5b4670ee5d9ac9968245f5b74a453f718fa080;hpb=de8b8a901f012fb57268e71758e3e36aaee919c8;p=helm.git

diff --git a/helm/uwobo/src/ocaml/uwobo_engine.ml b/helm/uwobo/src/ocaml/uwobo_engine.ml
index 9d5b4670e..4d85786dc 100644
--- a/helm/uwobo/src/ocaml/uwobo_engine.ml
+++ b/helm/uwobo/src/ocaml/uwobo_engine.ml
@@ -37,7 +37,8 @@ let xslNS = Gdome.domString "http://www.w3.org/1999/XSL/Transform"
 let outputS = Gdome.domString "output"
 let q_outputS = Gdome.domString "xsl:output"
 
-let default_properties = [ "method", "xml" ]
+(* let default_properties = [ "method", "xml" ] *)
+let default_properties = []
 
   (** apply an output property to an xslt stylesheet *)
 let apply_property logger (element: Gdome.element) (name, value) =