From ebc1f326b46fcce4d16ad6c325b5491fe7f52246 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Wed, 28 Jul 2010 09:38:15 +0200 Subject: [PATCH] Fixed initialization of (=) operator --- compiler/heptagon/analysis/initialization.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/heptagon/analysis/initialization.ml b/compiler/heptagon/analysis/initialization.ml index 7240ce5..bb1b430 100644 --- a/compiler/heptagon/analysis/initialization.ml +++ b/compiler/heptagon/analysis/initialization.ml @@ -236,7 +236,7 @@ and apply h op e_list = | Etuple, _ -> assert false (** TODO: init of safe/unsafe nodes This is a tmp fix so that pre x + 1 works.*) - | Efun (Modname { qual = "Pervasives" }), e_list -> + | (Eequal | Efun (Modname { qual = "Pervasives" })), e_list -> List.fold_left (fun acc e -> itype (typing h e)) izero e_list | _ , e_list -> List.iter (fun e -> initialized_exp h e) e_list; izero