fixed one of the broken proofs in ml_repl_module