From ab5a63765992f4e5e2afd7351390636ac2fdc4a7 Mon Sep 17 00:00:00 2001 From: aph Date: Sat, 26 Jan 2013 23:12:27 +0000 Subject: [PATCH] remove space before first arg in python output (fixes #34) --- output.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/output.py b/output.py index d830dd908f83..57c83492dc0a 100644 --- a/output.py +++ b/output.py @@ -139,7 +139,7 @@ def function_header(self, o, arg_repr, arg_kinds, pre_args_func=None, # Remove spaces before the first argument name. Generally # spaces are only present after a type, and if we erase the # type, we should also erase also the spaces. - n = re.sub(' +([a-zA-Z0-9_])$', '\\1', n) + n = re.sub(' +([a-zA-Z0-9_]+)$', '\\1', n) self.string(n) if i < len(arg_repr.assigns): self.token(arg_repr.assigns[i])