]> matita.cs.unibo.it Git - helm.git/commitdiff
fixed typo
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Nov 2005 09:47:32 +0000 (09:47 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Nov 2005 09:47:32 +0000 (09:47 +0000)
helm/matita/buildTimeConf.ml.in

index abb1aff4e172da754281dedbe0ff03589595f066..c8a2061e220b8ac04811b00a9e7765bb2afbd956 100644 (file)
@@ -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;;