diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-22 15:46:40 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-22 15:46:40 +0200 |
commit | 97ef3561168a6262833e65aba379ab9aca1a1a17 (patch) | |
tree | 1ea46137d9c9ecc4269bd6bde494436898b6a6a0 /ia32/PrintOp.ml | |
parent | 0200f6b77550e95c0ec309d1a44f5253fc790e4f (diff) | |
download | compcert-97ef3561168a6262833e65aba379ab9aca1a1a17.tar.gz compcert-97ef3561168a6262833e65aba379ab9aca1a1a17.zip |
Also print declarations in CompCert C.
The PrintCsyntax now first emits declarations for all functions
and variables in order to allow foward declarations.
Bug 19598.
Diffstat (limited to 'ia32/PrintOp.ml')
0 files changed, 0 insertions, 0 deletions