Small typo

252a5227 · Mário Pereira · d97e7669 · 252a5227
Commit 252a5227 authored Sep 04, 2017 by Mário Pereira
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

src/mlw/compile.ml src/mlw/compile.ml +1 -1

No files found.
--- 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