remove unused deprecated_flush_hook declaration
authorTom Tromey <tromey@redhat.com>
Sat, 28 Dec 2013 21:43:25 +0000 (14:43 -0700)
committerTom Tromey <tromey@redhat.com>
Mon, 13 Jan 2014 21:25:47 +0000 (14:25 -0700)
commitf2052bbe7a66ae99d72b48477289f1fea32bc982
tree193dc6be04b4bd792cbecf39294e1e8260fe4610
parentfde4f8ed8ce077b652f046ada8b208eaccbf3a7a
remove unused deprecated_flush_hook declaration

deprecated_flush_hook is declared in defs.h but never defined.
This patch removes the stale declaration.

2014-01-13  Tom Tromey  <tromey@redhat.com>

* defs.h (deprecated_flush_hook): Remove.
gdb/ChangeLog
gdb/defs.h