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 /powerpc/PrintOp.ml | |
parent | 965bea165ebf5ed10e55f58a649a10d827fa2862 (diff) | |
download | compcert-fc504771df607f86c6d6117902c88dfacc95393b.tar.gz compcert-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 'powerpc/PrintOp.ml')
0 files changed, 0 insertions, 0 deletions