From 252a52271ba7ea8403f1132204552f4a93c8e29d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?M=C3=A1rio=20Pereira?= <mpereira@lri.fr>
Date: Mon, 4 Sep 2017 09:42:28 +0200
Subject: [PATCH] Small typo
---
src/mlw/compile.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/mlw/compile.ml b/src/mlw/compile.ml
index 17801f04d9..ada10f4170 100644
--- a/src/mlw/compile.ml
+++ b/src/mlw/compile.ml
@@ -219,7 +219,7 @@ module ML = struct
else mk_expr (Eignore e) ity_unit e.e_effect e.e_label
let e_if e1 e2 e3 =
- mk_expr (Mltree.Eif (e1, e2, e3)) e1.e_ity
+ mk_expr (Mltree.Eif (e1, e2, e3)) e2.e_ity
let e_while e1 e2 =
mk_expr (Mltree.Ewhile (e1, e2)) ity_unit
--
GitLab