X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmlminidom%2FMakefile.in;h=47c48f678ed985dcd397f44055272c9f3af321aa;hb=d42f916052e67304e8b46e537b9a4bbaf2c2607e;hp=620bdb5832e398a8f46c3ec30aa0fa6d860022b6;hpb=e693640e159ab0db297ef890927c8b50080997c6;p=helm.git

diff --git a/helm/DEVEL/mlminidom/Makefile.in b/helm/DEVEL/mlminidom/Makefile.in
index 620bdb583..47c48f678 100644
--- a/helm/DEVEL/mlminidom/Makefile.in
+++ b/helm/DEVEL/mlminidom/Makefile.in
@@ -1,5 +1,5 @@
 PACKAGE = @PACKAGE@
-VERSION = @MLMINIDOM_VERSION@
+VERSION = @VERSION@
 INCLUDEDIR = @OCAML_INCLUDE_DIR@
 LIBDIR = @OCAML_LIB_DIR@
 INSTALLDIR = $(LIBDIR)/mlminidom