aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/Elab.ml
diff options
context:
space:
mode:
authorMichael Schmidt <github@mschmidt.me>2016-06-07 15:28:35 +0200
committerMichael Schmidt <github@mschmidt.me>2016-06-07 15:28:35 +0200
commit3c4f1377395494e8f706b829d0b69e9c33b6a5b8 (patch)
tree21aa0ada3d340a868a20388a6d7863464145fbd0 /cparser/Elab.ml
parent35041fb0949304dcdb6d82687adbaa71bf8224ab (diff)
downloadcompcert-3c4f1377395494e8f706b829d0b69e9c33b6a5b8.tar.gz
compcert-3c4f1377395494e8f706b829d0b69e9c33b6a5b8.zip
fix '__builtin_annot_val' to '__builtin_annot_intval', such that CompCert can parse its own .compcert.c output, bug 18060
Diffstat (limited to 'cparser/Elab.ml')
0 files changed, 0 insertions, 0 deletions