From 081e59b5b5f9e97142561a096515ea0a00eaf488 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 15 Jan 2003 13:39:21 +0000 Subject: [PATCH] - no default_properties --- helm/uwobo/src/ocaml/uwobo_engine.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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) = -- 2.39.2