Forgot to remove prototype from .mli file of dead code.