On 14 August 2012 15:44, Tom Tromey wrote: >>>>>> "Jonathan" == Jonathan Wakely <jwakely....@gmail.com> writes: > > Jonathan> I prefer it as unique_ptr<datum> but I'm probably not your typical > Jonathan> user of the pretty printers, so if anyone else has an opinion please > Jonathan> share it. > > I prefer it too. Here's the updated patch. Let me know what you think.
I like it, please go ahead and check that in it you're happy with it.
