[Patch] Remove unneeded include in gdbtk-cmds.c

[Roland Schwingel]

Hi....

Including "tui/tui-file.h" is unneeded in gdbtk-cmds.c. This simple 
patch removes it.

Changelog:

2012-03-19  Roland Schwingel <roland.schwingel@onevision.com>

         * generic/gdbtk-cmds.c: Remove unneeded include.

Any comments? Is this ok?

Roland

-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: unneeded_include_gdbtk-cmds.c.patch
URL: <http://sourceware.org/pipermail/insight/attachments/20120319/44846587/attachment.ksh>