From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Sun, 2 Jan 2011 15:55:14 +0000 (+0000)
Subject: ops, we forgot to update the version indicator :)
X-Git-Tag: make_still_working~2609
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=cb3e2526b3788172cf4a11e4c0082c12e8d233d0;p=helm.git

ops, we forgot to update the version indicator :)
---

diff --git a/helm/software/lambda-delta/src/toplevel/top.ml b/helm/software/lambda-delta/src/toplevel/top.ml
index 00e443388..d0476f78a 100644
--- a/helm/software/lambda-delta/src/toplevel/top.ml
+++ b/helm/software/lambda-delta/src/toplevel/top.ml
@@ -261,7 +261,7 @@ let process st name =
 
 let main =
 try 
-   let version_string = "Helena 0.8.2 M - December 2010" in
+   let version_string = "Helena 0.8.2 M - January 2011" in
    let print_version () = L.warn (version_string ^ "\n"); exit 0 in
    let set_hierarchy s = 
       if H.set_graph s then () else