awk: fix an incorrect casting to string (bug 725). -44 bytes.
authorDenys Vlasenko <vda.linux@googlemail.com>
Mon, 30 Nov 2009 00:15:04 +0000 (01:15 +0100)
committerDenys Vlasenko <vda.linux@googlemail.com>
Mon, 30 Nov 2009 00:15:04 +0000 (01:15 +0100)
commit1284774d60ebce68dec6fcaf44a33e928c4c1f82
tree165bc1ec980eca2d30b04d7939bafbf7667fc1b8
parentcdeda16ee4acb78569598e848a491ad595af3abb
awk: fix an incorrect casting to string (bug 725). -44 bytes.

Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>
editors/awk.c
testsuite/awk.tests