From 62e216314d6b9db8e76b54eb7f831edfa367cbd6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Thu, 15 Jul 2010 09:37:20 +0200 Subject: [PATCH] Fixed stupid bug --- compiler/minils/transformations/normalize.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/minils/transformations/normalize.ml b/compiler/minils/transformations/normalize.ml index 30ccfd6..e859016 100644 --- a/compiler/minils/transformations/normalize.ml +++ b/compiler/minils/transformations/normalize.ml @@ -158,7 +158,7 @@ let rec translate kind context e = | Eapp({ a_op = Eifthenelse }, [e1; e2; e3], _) -> let context, e1 = translate Any context e1 in let context, e2 = translate Act context e2 in - let context, e2 = translate Act context e3 in + let context, e3 = translate Act context e3 in ifthenelse context e1 e2 e3 | Eapp(app, e_list, r) -> let context, e_list = translate_app kind context app.a_op e_list in