Re: New ARI warning Wed Oct 2 01:56:22 UTC 2019

Tom Tromey
2019-10-08T17:16:10Z

>>>>> "Tom" == Tom Tromey <tromey@adacore.com> writes:

Simon> Well, as long as the regex does what it is meant to do, I am fine with it.

Simon> I just thought that it would be nice to have a small comment that explains
Simon> what it does, prevent using %p to print raw pointers, but allow the gdb
Simon> extensions.

Tom> I went ahead and made both changes.

I'm checking this in now.

Tom