X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2Fuwobo_common.ml;h=84ba1996750f7ca3cd917f61e59e1b20d430f06e;hb=89da6fe5cffd1fe43ef391827006f8cf3208570a;hp=f7790923cdc94f962df53fe39bb93020f330cf4d;hpb=b5eca1fff4476831847825aa46ce149924d1c8c0;p=helm.git

diff --git a/helm/uwobo/uwobo_common.ml b/helm/uwobo/uwobo_common.ml
index f7790923c..84ba19967 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.0" ;;
+let version = "0.2.1" ;;
 
 let usage_string =
   sprintf