diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-05-29 12:40:28 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-05-29 12:40:28 +0200 |
| commit | e503983cdc99c6038ada0d0b94f32f02d13210c8 (patch) | |
| tree | 76a65ebe3add61f270bd3234bfc925f98497b5a5 /cfrontend/PrintCsyntax.ml | |
| parent | 026f2fc382ba4f768ab985fa4c8afe9c0cd3b13b (diff) | |
| parent | ef16a51223a4b73eed74c40ce9938248ab6b4b8a (diff) | |
| download | compcert-e503983cdc99c6038ada0d0b94f32f02d13210c8.tar.gz compcert-e503983cdc99c6038ada0d0b94f32f02d13210c8.zip | |
Merge branch 'master' into json_export
Diffstat (limited to 'cfrontend/PrintCsyntax.ml')
| -rw-r--r-- | cfrontend/PrintCsyntax.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cfrontend/PrintCsyntax.ml b/cfrontend/PrintCsyntax.ml index bde61cc7..d890c820 100644 --- a/cfrontend/PrintCsyntax.ml +++ b/cfrontend/PrintCsyntax.ml @@ -123,7 +123,7 @@ let rec name_cdecl id ty = if not first then Buffer.add_string b ", "; Buffer.add_string b (name_cdecl "" t1); add_args false tl in - add_args true args; + if not cconv.cc_unproto then add_args true args; Buffer.add_char b ')'; name_cdecl (Buffer.contents b) res | Tstruct(name, a) -> |