diff options
| author | Alix Trieu <atrieu@users.noreply.github.com> | 2019-03-27 18:32:06 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-03-27 18:32:06 +0100 |
| commit | fc504771df607f86c6d6117902c88dfacc95393b (patch) | |
| tree | e8b335854b6f5a6156e424df7405f7fd74060422 /exportclight | |
| parent | 965bea165ebf5ed10e55f58a649a10d827fa2862 (diff) | |
| download | compcert-kvx-fc504771df607f86c6d6117902c88dfacc95393b.tar.gz compcert-kvx-fc504771df607f86c6d6117902c88dfacc95393b.zip | |
Correct typo in Clightnorm.ml (#285)
In the `Sswitch` case, the original expression was used instead of the result of `norm_expr`.
Diffstat (limited to 'exportclight')
| -rw-r--r-- | exportclight/Clightnorm.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |