diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-07-05 15:36:05 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-07-05 15:36:05 +0200 |
commit | 26d1e281541d8522665fe4f9ee905e49ed9baacf (patch) | |
tree | 862d28f6fba81a55db76d4da60a55df1e6db2f05 /powerpc/ValueAOp.v | |
parent | 353669f8f175adabf878be0334a1979c439778af (diff) | |
download | compcert-26d1e281541d8522665fe4f9ee905e49ed9baacf.tar.gz compcert-26d1e281541d8522665fe4f9ee905e49ed9baacf.zip |
In test/regression: Use `static inline` instead of `inline`
Fixes: #441
Diffstat (limited to 'powerpc/ValueAOp.v')
0 files changed, 0 insertions, 0 deletions