X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2Fuwobo_common.ml;h=8952f8132c11954a5ce54d468d60e4f3cd2fcde3;hb=b9af9f1c0de6a1735b492f5c793a87a8fce218cc;hp=4399709ed43f3f758ad1865224caa1db7d40847f;hpb=19084a7158346d2011ee024361fe630f9b9f94cf;p=helm.git

diff --git a/helm/uwobo/uwobo_common.ml b/helm/uwobo/uwobo_common.ml
index 4399709ed..8952f8132 100644
--- a/helm/uwobo/uwobo_common.ml
+++ b/helm/uwobo/uwobo_common.ml
@@ -48,7 +48,7 @@ let supported_properties = [
 
 let is_supported_property name = List.mem name supported_properties
 
-let version = "0.2.1" ;;
+let version = "0.3.0" ;;
 
 let usage_string =
   sprintf