diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-22 10:04:53 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-22 10:04:53 +0200 |
commit | aa5ddeddbe50487f6671b80d1a58a09d619d6f66 (patch) | |
tree | 28bbe1e1dd31b1cc7d68392ce9c60ce1251a22d6 | |
parent | 3e1ceff43f0c636136d333dd8bf7214bf3798fea (diff) | |
download | compcert-aa5ddeddbe50487f6671b80d1a58a09d619d6f66.tar.gz compcert-aa5ddeddbe50487f6671b80d1a58a09d619d6f66.zip |
Added missing , in PrintCsyntax. Bug 19599
-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 7933f987..a15fb0e4 100644 --- a/cfrontend/PrintCsyntax.ml +++ b/cfrontend/PrintCsyntax.ml @@ -401,7 +401,7 @@ let name_function_parameters fun_name params cconv = | _ -> let rec add_params first = function | [] -> - if cconv.cc_vararg then Buffer.add_string b "..." + if cconv.cc_vararg then Buffer.add_string b ",..." | (id, ty) :: rem -> if not first then Buffer.add_string b ", "; Buffer.add_string b (name_cdecl (extern_atom id) ty); |