X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhelmpot%2Fconfigure.in;fp=helm%2Fhelmpot%2Fconfigure.in;h=606a37f406724b1d328d10c03f010c245fe08d51;hb=494bbe8d804c587488349dc1e1fa976e6f892ec0;hp=a5682856bd2095c825dde0fbc658dab1531ca3b4;hpb=06699deb3cda1102045062c5e54ac3de11e0c565;p=helm.git

diff --git a/helm/helmpot/configure.in b/helm/helmpot/configure.in
index a5682856b..606a37f40 100644
--- a/helm/helmpot/configure.in
+++ b/helm/helmpot/configure.in
@@ -3,7 +3,7 @@ AC_INIT(main.c)
 
 HELMPOT_MAJOR_VERSION=0
 HELMPOT_MINOR_VERSION=0
-HELMPOT_MICRO_VERSION=1
+HELMPOT_MICRO_VERSION=2
 HELMPOT_VERSION=$HELMPOT_MAJOR_VERSION.$HELMPOT_MINOR_VERSION.$HELMPOT_MICRO_VERSION
 VERSION=$HELMPOT_VERSION