rbtree.c: Remove unused rb_replace_node().
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 3 Jan 2015 17:02:12 +0000 (17:02 +0000)
committerAndre Noll <maan@tuebingen.mpg.de>
Wed, 18 Feb 2015 14:08:57 +0000 (15:08 +0100)
commit4c0b329a904aaaf25416f498692d6d7316b4057d
tree499ae81c6e9bb57aec91fa61229a5b72b86fd586
parent188bc1b06879b7fcd56c599e20db0ac87a0da4e3
rbtree.c: Remove unused rb_replace_node().

Found by cppcheck.
rbtree.c
rbtree.h