From c4cab47c01e5cfae7aa25ce7d6316e7d785815be Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 4 Nov 2005 09:47:32 +0000
Subject: [PATCH] fixed typo

---
 helm/matita/buildTimeConf.ml.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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