X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FbuildTimeConf.ml.in;h=c8a2061e220b8ac04811b00a9e7765bb2afbd956;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=abb1aff4e172da754281dedbe0ff03589595f066;hpb=d24be2bf64f06d08ec09e97743fda4b3d118ec80;p=helm.git

diff --git a/helm/matita/buildTimeConf.ml.in b/helm/matita/buildTimeConf.ml.in
index abb1aff4e..c8a2061e2 100644
--- a/helm/matita/buildTimeConf.ml.in
+++ b/helm/matita/buildTimeConf.ml.in
@@ -24,7 +24,7 @@
  *)
 
 let debug = @DEBUG@;;
-let version = "@MATITA_VERSION";;
+let version = "@MATITA_VERSION@";;
 let undo_history_size = 10;;
 let console_history_size = 100;;
 let browser_history_size = 100;;