diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-18 14:52:40 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-18 14:52:40 +0100 |
commit | 4b8a1d328139b28ffe3d9ad44c0182aeea13649b (patch) | |
tree | bb1bee2969f39853535b8d63baf9308e8af7bf84 /extraction/.gitignore | |
parent | b82ae19b91db32b12f0c0afe1a478f9d4caa6497 (diff) | |
download | compcert-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 'extraction/.gitignore')
0 files changed, 0 insertions, 0 deletions