- no default_properties

diff --git a/helm/uwobo/src/ocaml/uwobo_engine.ml b/helm/uwobo/src/ocaml/uwobo_engine.ml
index 9d5b4670ee5d9ac9968245f5b74a453f718fa080..4d85786dc5f3d1b87467f40bdb27f61d20a39b15 100644 (file)
--- 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) =