From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 4 Nov 2005 09:47:32 +0000 (+0000)
Subject: fixed typo
X-Git-Tag: V_0_7_2_3~137
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c4cab47c01e5cfae7aa25ce7d6316e7d785815be;p=helm.git

fixed typo
---

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;;