-
Alessandro Rubini authored
Some compilers complain about using "%i" with Integer32, so cast it away. Which is bad in itself, but I see no other clean option; fortunately, it's only diagnostic messages. Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
ee471cee