diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-01-01 12:07:09 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-01-01 12:21:36 +0100 |
commit | d1104c07f7d79ac721c29774651ae512aacbcf3f (patch) | |
tree | d4644f8b26f3525d5aba5668b9b59e6c56353f76 /driver/Driver.ml | |
parent | 61f3945316ee86b0a848fd32df7e2e688bd5bc1a (diff) | |
download | compcert-d1104c07f7d79ac721c29774651ae512aacbcf3f.tar.gz compcert-d1104c07f7d79ac721c29774651ae512aacbcf3f.zip |
Translation of wide string literals.
Closes PR#13.
Also: give string literals type unsigned char [] or signed char []
depending on the machine configuration. (Instead of unsigned char [] before.)
Diffstat (limited to 'driver/Driver.ml')
0 files changed, 0 insertions, 0 deletions