update BindingRepl#auto.