Touchup of history.c

[Daniel J S. <dan...@ie...>]

The other day Petr made a change to rid the int_error() function.  Rather than 
putting "Warning:" in the printf, could the int_warn() function be used as in 
the attached patch instead?

Dan