Patch for wrong no declaration seen for command-line-arguments

[Per Bothner]

On 09/18/2013 06:19 AM, Matthieu Vachon wrote:
> I tested your patch and it is really more clearer than what I first
> proposed. Very clean.
>
> No more `command-line-arguments` warning when using the patch.

Thanks - I checked the patch in.
-- 
	--Per Bothner
per@bothner.com   http://per.bothner.com/