Re: [patch] Make source_file_name const char *.

Joel Brobecker
2010-04-07T05:33:20Z

> I will check this patch in in a few days if there are no objections.
> It just adds const to source_file_name.

I'd say go ahead. I think your patch is an improvement, and at worst,
it's so easy to revert that it's not worth the pain of waiting
for potential objections (IMO).

--
Joel