fixed typo

diff --git a/helm/matita/buildTimeConf.ml.in b/helm/matita/buildTimeConf.ml.in
index abb1aff4e172da754281dedbe0ff03589595f066..c8a2061e220b8ac04811b00a9e7765bb2afbd956 100644 (file)
--- 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;;