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