remove the repl_fun_alt stuff from replCorrect