From fc504771df607f86c6d6117902c88dfacc95393b Mon Sep 17 00:00:00 2001 From: Alix Trieu Date: Wed, 27 Mar 2019 18:32:06 +0100 Subject: Correct typo in Clightnorm.ml (#285) In the `Sswitch` case, the original expression was used instead of the result of `norm_expr`. --- exportclight/Clightnorm.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'exportclight') diff --git a/exportclight/Clightnorm.ml b/exportclight/Clightnorm.ml index 4b01d777..a0001250 100644 --- a/exportclight/Clightnorm.ml +++ b/exportclight/Clightnorm.ml @@ -133,7 +133,7 @@ let rec norm_stmt s = add_sequence sl (Sreturn(Some e')) | Sswitch(e, ls) -> let (sl, e') = norm_expr e in - add_sequence sl (Sswitch(e, norm_lbl_stmt ls)) + add_sequence sl (Sswitch(e', norm_lbl_stmt ls)) | Slabel(lbl, s1) -> Slabel(lbl, norm_stmt s1) | Sgoto lbl -> s -- cgit