aboutsummaryrefslogtreecommitdiffstats
path: root/README.md
diff options
context:
space:
mode:
authorBernhard Schommer <bernhardschommer@gmail.com>2017-01-18 14:52:40 +0100
committerBernhard Schommer <bernhardschommer@gmail.com>2017-01-18 14:52:40 +0100
commit4b8a1d328139b28ffe3d9ad44c0182aeea13649b (patch)
treebb1bee2969f39853535b8d63baf9308e8af7bf84 /README.md
parentb82ae19b91db32b12f0c0afe1a478f9d4caa6497 (diff)
downloadcompcert-4b8a1d328139b28ffe3d9ad44c0182aeea13649b.tar.gz
compcert-4b8a1d328139b28ffe3d9ad44c0182aeea13649b.zip
Simplified C2C.error.
Instead of just accepting a string the function is changed to accept a format string. This removes a lot of artificial sprintfs in calls to the functions. Bug 19872
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions