diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2022-05-06 12:54:34 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-05-18 14:22:32 +0200 |
commit | 413bd7681ed70155b7bbc9ab2255801ed41904ea (patch) | |
tree | f68f78cbdb3c6c81510973f50e7e9a8ac173c0b7 /cparser/Cflow.ml | |
parent | 713b45c5d9e497756a414c049fc255aacc3650c2 (diff) | |
download | compcert-413bd7681ed70155b7bbc9ab2255801ed41904ea.tar.gz compcert-413bd7681ed70155b7bbc9ab2255801ed41904ea.zip |
Simplify handling of file suffixes.
Since we are sure that all files passed have a valid extension we can
use the OCaml function Filename.remove_extension and don't need to pass
the suffixes.
Bug 33218
Diffstat (limited to 'cparser/Cflow.ml')
0 files changed, 0 insertions, 0 deletions