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 /VERSION | |
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 'VERSION')
0 files changed, 0 insertions, 0 deletions