Merge pull request #2178 from cremno/rename-dump_irep
authorYukihiro "Matz" Matsumoto <[email protected]>
Sat, 3 May 2014 00:05:43 +0000 (3 09:05 +0900)
committerYukihiro "Matz" Matsumoto <[email protected]>
Sat, 3 May 2014 00:05:43 +0000 (3 09:05 +0900)
add namespace prefix to `dump_irep`


Trivial merge