* addrmap.c (addrmap_splay_tree_remove): New function.
authorJim Blandy <jimb@codesourcery.com>
Thu, 6 Dec 2007 23:37:35 +0000 (23:37 +0000)
committerJim Blandy <jimb@codesourcery.com>
Thu, 6 Dec 2007 23:37:35 +0000 (23:37 +0000)
commitcb446409e69a10b9a471bbcdf73a1108c7ff93f1
tree0520e9cf01451dead0b8e38d7d4ba1a4859f3984
parentf4f7091ffef088b67d1658072ac1b7fdece3d07a
* addrmap.c (addrmap_splay_tree_remove): New function.
(addrmap_mutable_set_empty): Use it.
gdb/ChangeLog
gdb/addrmap.c