From fcd75e021a12fbd93c4d51fbca7844fdb4f7436f Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Wed, 20 Oct 2010 13:35:43 +0100 Subject: [PATCH] generator: Remove unused parameter. generate_c_call_args optional decl parameter is never actually used, so remove it. --- generator/generator_c.ml | 13 ++++++------- 1 file changed, 6 insertions(+), 7 deletions(-) diff --git a/generator/generator_c.ml b/generator/generator_c.ml index 78ba5ec..ca0907d 100644 --- a/generator/generator_c.ml +++ b/generator/generator_c.ml @@ -100,7 +100,7 @@ let rec generate_prototype ?(extern = true) ?(static = false) if newline then pr "\n" (* Generate C call arguments, eg "(handle, foo, bar)" *) -and generate_c_call_args ?handle ?(decl = false) style = +and generate_c_call_args ?handle style = pr "("; let comma = ref false in let next () = @@ -121,12 +121,11 @@ and generate_c_call_args ?handle ?(decl = false) style = pr "%s" (name_of_argt arg) ) (snd style); (* For RBufferOut calls, add implicit &size parameter. *) - if not decl then ( - match fst style with - | RBufferOut _ -> - next (); - pr "&size" - | _ -> () + (match fst style with + | RBufferOut _ -> + next (); + pr "&size" + | _ -> () ); pr ")" -- 1.8.3.1