diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2023-01-19 17:05:02 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2023-02-20 13:29:09 +0100 |
| commit | bdcd260ab0e6f2453069f348a5ba3d8e3ca38ce2 (patch) | |
| tree | 86aa9f691a5ea141389a43d694ba4d4fda4d172e /arm/TargetPrinter.ml | |
| parent | 431b64db94583fc5e8d08ecc9bd4e105567ed4d5 (diff) | |
| download | compcert-bdcd260ab0e6f2453069f348a5ba3d8e3ca38ce2.tar.gz compcert-bdcd260ab0e6f2453069f348a5ba3d8e3ca38ce2.zip | |
Move the old `offset_in_range` function inside `memcpy_small_arg`
It is no longer used elsewhere.
Diffstat (limited to 'arm/TargetPrinter.ml')
0 files changed, 0 insertions, 0 deletions