added version information

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

diff --git a/helm/uwobo/uwobo_common.mli b/helm/uwobo/uwobo_common.mli
index d1a1a8f8c0f33ebaaa5b72133fbf73862ed8d028..a531d8a0b4c9230fa5001dd8a5fd02cd8429abb5 100644 (file)
--- a/helm/uwobo/uwobo_common.mli
+++ b/helm/uwobo/uwobo_common.mli
@@ -31,7 +31,8 @@ exception Uwobo_failure of string
 val supported_properties: string list
 val is_supported_property: string -> bool
 
-val usage_string: string
+val version: string (** version *)
+val usage_string: string  (** HTTP GET usage string *)
 
   (** return an ok (200) http response, which display in html an error message
   *)