Fix deletion of preprocessor output file after usage#1801

Open

jboillot wants to merge 1 commit intoocaml:mainfrom jboillot:bugfix/pp-delete-tmp-file-after-usage

+2

Commits on Jul 17, 2024

correctly delete preprocessor output after usage
jboillot
committed