Fix bug in pretty printing. http://code.google.com/p/nativeclient/issues/detail?id=489
Fix bug in pretty printing.
http://code.google.com/p/nativeclient/issues/detail?id=489

Review URL: http://codereview.chromium.org/2040006

git-svn-id: 721b910a23eff8a86f00c8fd261a7587cddf18f8@2239 fcba33aa-ac0c-11dd-b9e7-8d5594d729c2

nacl-webkit/native_client,nacl-webkit/native_client,sbc100/native_client,nacl-webkit/native_client,sbc100/native_client,sbc100/native_client,sbc100/native_client,sbc100/native_client,nacl-webkit/native_client,nacl-webkit/native_client,sbc100/native_client