_Win32 build fix
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 11 Sep 2008 22:48:06 +0000 (22:48 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 11 Sep 2008 22:48:06 +0000 (22:48 +0000)
commit35307d170c7265d929bef1a9793c462487f05a66
treefc978f04a91449f6ede809c1b5d881e5f30f0c87
parentc63327c5c4ad8ce49761b491c1155ebf31a09f21
_Win32 build fix

[r21861]
tokens.inc