let update_current v =
    try
      update_current_exn v
    with State_set.Unchanged -> ()