diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-01-13 14:51:36 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-01-13 14:51:36 +0100 |
commit | 522285d1163523b02a1972b99d71c08552cd9c7b (patch) | |
tree | a1d9b43928276e90c8223a9736253d19f52f2bca /test/regression/init1.c | |
parent | 7f152e2f27d82f0d502ee919e1576edefcd44cf5 (diff) | |
download | compcert-522285d1163523b02a1972b99d71c08552cd9c7b.tar.gz compcert-522285d1163523b02a1972b99d71c08552cd9c7b.zip |
Replace `omega` tactic with `lia`, continued
Follow-up to aba0e740f
Diffstat (limited to 'test/regression/init1.c')
0 files changed, 0 insertions, 0 deletions