update REPL