diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-03-07 14:45:31 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-03-07 14:47:14 +0100 |
commit | a958e451457fb932248eb47ee44c833d57cfcdb7 (patch) | |
tree | 8cde7d2ab10e64ddca63943217e85ca93627315e /test/monniaux/uzlib/Makefile | |
parent | 6b7d89993b3064551d26313cf46aff66c0b5c06d (diff) | |
download | compcert-kvx-a958e451457fb932248eb47ee44c833d57cfcdb7.tar.gz compcert-kvx-a958e451457fb932248eb47ee44c833d57cfcdb7.zip |
Remplacement de phys_eq par Z.eqb pour Allocframe (1 & 2) et Freeframe (1 & 2)
Diffstat (limited to 'test/monniaux/uzlib/Makefile')
0 files changed, 0 insertions, 0 deletions