Remove a dead function.

Turns out it wasn’t actually used anymore.