On Sep 17, 2010, at 2:35 PM, Jim Grosbach wrote: >>> >>> This is a great change of course, but we do want the mcinstprinter to generate the same comments. :-) >>> >> >> True. It looks like there's something goofy with setting VerboseAsm for the MC printer. Looking. > > > Found it. Fixed in r114215. Nice, thanks!