From afcd53cebb7259671e4530477139a8e52777fb51 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Le=CC=81onard=20Ge=CC=81rard?= Date: Fri, 8 Oct 2010 10:43:42 +0200 Subject: [PATCH] Initialization Small big bug fix. --- compiler/heptagon/analysis/initialization.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/heptagon/analysis/initialization.ml b/compiler/heptagon/analysis/initialization.ml index a323d01..f0ac39f 100644 --- a/compiler/heptagon/analysis/initialization.ml +++ b/compiler/heptagon/analysis/initialization.ml @@ -88,10 +88,10 @@ struct | Heptagon.Var -> add_var x (new_var ()) h | Heptagon.Last None -> let h = add_var x (new_var ()) h in - add_last x (new_var ()) h + add_last x ione h (* last is not initialized *) | Heptagon.Last (Some _) -> let h = add_var x (new_var ()) h in - add_last x izero h + add_last x izero h (* last is initialized *) end (** return the representent of a [typ] ( the max ) *)