diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-06-25 11:21:00 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2020-06-25 16:58:46 +0200 |
commit | c6b86fd5719388301295f9ab4b07b57653e0d8c6 (patch) | |
tree | b07b1d440fe87025d3493e37f2e4ef6ae008c62d /backend/PrintCminor.ml | |
parent | 5b8578daeed73483b130618c954abb24afa8ddb9 (diff) | |
download | compcert-c6b86fd5719388301295f9ab4b07b57653e0d8c6.tar.gz compcert-c6b86fd5719388301295f9ab4b07b57653e0d8c6.zip |
Improve printing of builtin function invocations
In particular __builtin_sel.
Diffstat (limited to 'backend/PrintCminor.ml')
0 files changed, 0 insertions, 0 deletions