diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-09-13 14:33:06 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-09-13 14:33:06 +0200 |
commit | 4ba1b9e4165cda40e06fca3b563b7561a6cffc70 (patch) | |
tree | 5cac8d6d6c2d2852bc3d3b34a7d73a9f4f93d100 /test/raytracer/surface.c | |
parent | 7e8e3efdd69cee4412817f2e29f9ef687bec019b (diff) | |
download | compcert-4ba1b9e4165cda40e06fca3b563b7561a6cffc70.tar.gz compcert-4ba1b9e4165cda40e06fca3b563b7561a6cffc70.zip |
Handle the new warnings of OCaml 4.13
Warning 69 "mutable record field is never mutated":
3 occurrences in backend/IRC.ml
removed the "mutable" qualifier on these fields
Warning 70 "cannot find interface file"
many .ml files have no .mli
no strong motivation to add the .mli files
turned off the warning in Makefile.extr
Diffstat (limited to 'test/raytracer/surface.c')
0 files changed, 0 insertions, 0 deletions