From cb3e2526b3788172cf4a11e4c0082c12e8d233d0 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Sun, 2 Jan 2011 15:55:14 +0000 Subject: [PATCH] ops, we forgot to update the version indicator :) --- helm/software/lambda-delta/src/toplevel/top.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2