Update src/repl.cpp