diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-04-30 19:26:11 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-04-30 19:26:11 +0200 |
commit | e9fa9cbdc761f8c033e9b702f7485982faed3f7d (patch) | |
tree | 07eef17ccca466fd39d8d3ab0aab821ebfce177f /powerpc/SelectOp.vp | |
parent | 7dd10e861c7ecbe74a781a6050ae1341bbe45dcd (diff) | |
download | compcert-e9fa9cbdc761f8c033e9b702f7485982faed3f7d.tar.gz compcert-e9fa9cbdc761f8c033e9b702f7485982faed3f7d.zip |
Long-overdue renaming: val_inject -> Val.inject, etc, for consistency with Val.lessdef, etc.
Diffstat (limited to 'powerpc/SelectOp.vp')
0 files changed, 0 insertions, 0 deletions