Greg Stein wrote:
On Fri, Nov 24, 2000 at 06:46:25PM -0500, Greg Hudson wrote:
... - char *const *argv; + char **argv;
Um. I don't think we can do this with argv. I'm surprised that it isn't "const char * const * argv".
Certainly, if we make a copy of the array (of pointers), then we could have "const char **argv" and that would allow us to permute.
If this pointer is supposed to be passed from main (which I guess it is), then you can't do that. Main's second argument must be "char *argv[]", and you can't convert that implicitly to "const char *const *argv" ; that would change the pointer's type.
So the change is fine.
-- Brane Čibej home: <[EMAIL PROTECTED]> http://www.xbc.nu/brane/ work: <[EMAIL PROTECTED]> http://www.hermes-softlab.com/ ACM: <[EMAIL PROTECTED]> http://www.acm.org/
