librace: format DEBUG() prints properly
authorBrian Norris <banorris@uci.edu>
Thu, 26 Apr 2012 17:19:12 +0000 (10:19 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 26 Apr 2012 17:19:12 +0000 (10:19 -0700)
commit38de1b8a5d58d70bda97ad3b453b62d721f4f7ed
tree5d0560cbbfdf9f40b80d03dfcfc369c3c8676024
parent7af1e278a823b97b391f37da9ef6a013d58ac50e
librace: format DEBUG() prints properly

Apparently ISO C99 defines macros PRIuXX for proper printing of different-sized
uints.
librace.cc