Update repl.cpp