- shows also version in usage string

[helm.git] / helm / uwobo / src / ocaml / uwobo_common.mli

diff --git a/helm/uwobo/src/ocaml/uwobo_common.mli b/helm/uwobo/src/ocaml/uwobo_common.mli
index a056678f2b0ff448fad422917a05c63fa00d9b72..0311998f037bf17c158fdd8925f110a389f4fc26 100644 (file)
--- a/helm/uwobo/src/ocaml/uwobo_common.mli
+++ b/helm/uwobo/src/ocaml/uwobo_common.mli
@@ -24,7 +24,10 @@
  * http://cs.unibo.it/helm/.
  *)
 
-exception Uwobo_failure of string;;
+exception Uwobo_failure of string
+
+val supported_properties: string list
+val is_supported_property: string -> bool
 
 class threadSafe:
   object