add a few #includes to make it compile
authorsof@galois.com <unknown>
Wed, 1 Nov 2006 22:09:50 +0000 (22:09 +0000)
committersof@galois.com <unknown>
Wed, 1 Nov 2006 22:09:50 +0000 (22:09 +0000)
commite0171e5a1b7112fda291d4472786df198cb4ed53
treeb1d3925bdbfa40c661335dd86fbf4ce5d50c93b0
parent00abc3998739f7db38a2466b6e730105f16f8ddf
add a few #includes to make it compile
rts/win32/ConsoleHandler.c