Remove redundant function

A function was added in commit 7cae0abb60570fcd1618b26051651a980f42aed1
that was essentially identical to a previously existant function.
The redundant function has been removed.