diff options
| author | Richard Henderson <rth@redhat.com> | 2000-04-06 04:15:35 +0400 |
|---|---|---|
| committer | Richard Henderson <rth@redhat.com> | 2000-04-06 04:15:35 +0400 |
| commit | 9e276d99e9c05ae385463f2a0cf4a1458af9f24f (patch) | |
| tree | e621c20c93c6a5e1217abf0452f3ce065ca6f717 /include/splay-tree.h | |
| parent | 66d2d2638e87e2fb9df84fc29b379539be8c1892 (diff) | |
* splay-tree.h (splay_tree_remove): Declare.
Diffstat (limited to 'include/splay-tree.h')
| -rw-r--r-- | include/splay-tree.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/splay-tree.h b/include/splay-tree.h index 6d70c8d90..39882a4be 100644 --- a/include/splay-tree.h +++ b/include/splay-tree.h @@ -99,6 +99,8 @@ extern splay_tree_node splay_tree_insert PARAMS((splay_tree, splay_tree_key, splay_tree_value)); +extern void splay_tree_remove PARAMS((splay_tree, + splay_tree_key)); extern splay_tree_node splay_tree_lookup PARAMS((splay_tree, splay_tree_key)); |