Remove redundant function.
Remove redundant function.

To satisfy this review comment :
https://github.com/mumurik/xyzzy/pull/12#issuecomment-4290180

NobuoK/xyzzy,NobuoK/xyzzy,NobuoK/xyzzy,NobuoK/xyzzy,NobuoK/xyzzy