Update REPL