cast chars to int when we want to print integers so we get a number
authorNathan Binkert <binkertn@umich.edu>
Mon, 18 Dec 2006 22:07:52 +0000 (14:07 -0800)
committerNathan Binkert <binkertn@umich.edu>
Mon, 18 Dec 2006 22:07:52 +0000 (14:07 -0800)
commit9b40a13728236f1d1d89d5a2169dab28f537d18c
treef07d1c1a580546bdb04826c3d165b58de03743ee
parent6841f863c5dee6ce2028ba647254ec9ad27a57fd
cast chars to int when we want to print integers so we get a number
instead of a character

--HG--
extra : convert_revision : 7bfa88ba23ad057b751eb01a80416d9f72cfe81a
src/base/cprintf_formats.hh
src/unittest/cprintftest.cc