X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2Fsrc%2Focaml%2Fuwobo_common.ml;h=5ead99a54dfecdae37ca96c80e56b76ba4b546ce;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=09f9ba5a100f8fdb340f662c09edeb9e1e495143;hpb=beaf9a3cb95519e68e5806ac2f8a45b480d8e5ac;p=helm.git

diff --git a/helm/uwobo/src/ocaml/uwobo_common.ml b/helm/uwobo/src/ocaml/uwobo_common.ml
index 09f9ba5a1..5ead99a54 100644
--- a/helm/uwobo/src/ocaml/uwobo_common.ml
+++ b/helm/uwobo/src/ocaml/uwobo_common.ml
@@ -29,6 +29,21 @@ let debug_print msg = if debug then prerr_endline msg;;
 
 exception Uwobo_failure of string;;
 
+let supported_properties = [
+  "cdata-section-elements";
+  "doctype-public";
+  "doctype-system";
+  "encoding";
+  "indent";
+  "media-type";
+  "method";
+  "omit-xml-declaration";
+  "standalone";
+  "version"
+]
+
+let is_supported_property name = List.mem name supported_properties
+
 class threadSafe =
   object (self)