
3 Nov
2011
3 Nov
'11
8:01 p.m.
2011/11/4 José Pedro Magalhães
Hi,
2011/11/3 Bas van Dijk
2011/11/3 José Pedro Magalhães
: "-ddump-deriv" will print (most of) it.
But it doesn't print the most useful piece of information: the definition of Rep.
Yes... I am aware of this.
It would be great if this could be added.
I'll do it.
Cheers, Pedro
Great, thanks!