Fix ?REACT() FSM names: a30->a40
This commit is contained in:
parent
34d35fab63
commit
2d050ff7a6
1 changed files with 6 additions and 6 deletions
|
@ -1569,26 +1569,26 @@ react_to_env_A40(Retries, P_newprop, P_latest, LatestUnanimousP,
|
||||||
inner_projection_or_self(P_current),
|
inner_projection_or_self(P_current),
|
||||||
#projection_v1{epoch_number=Epoch_newpropi} =
|
#projection_v1{epoch_number=Epoch_newpropi} =
|
||||||
inner_projection_or_self(P_newprop),
|
inner_projection_or_self(P_newprop),
|
||||||
?REACT({a30, ?LINE, [{epoch_currenti,Epoch_currenti},
|
?REACT({a40, ?LINE, [{epoch_currenti,Epoch_currenti},
|
||||||
{epoch_newpropi,Epoch_newpropi}]}),
|
{epoch_newpropi,Epoch_newpropi}]}),
|
||||||
if Epoch_currenti > Epoch_newpropi ->
|
if Epoch_currenti > Epoch_newpropi ->
|
||||||
%% Inner has a newer epoch, don't go to A50.
|
%% Inner has a newer epoch, don't go to A50.
|
||||||
?REACT({a30, ?LINE, []}),
|
?REACT({a40, ?LINE, []}),
|
||||||
false;
|
false;
|
||||||
true ->
|
true ->
|
||||||
?REACT({a30, ?LINE, []}),
|
?REACT({a40, ?LINE, []}),
|
||||||
true
|
true
|
||||||
end;
|
end;
|
||||||
false ->
|
false ->
|
||||||
?REACT({a30, ?LINE, []}),
|
?REACT({a40, ?LINE, []}),
|
||||||
true
|
true
|
||||||
end,
|
end,
|
||||||
if GoTo50_p ->
|
if GoTo50_p ->
|
||||||
?REACT({a30, ?LINE, []}),
|
?REACT({a40, ?LINE, []}),
|
||||||
FinalProps = [{throttle_seconds, 0}],
|
FinalProps = [{throttle_seconds, 0}],
|
||||||
react_to_env_A50(P_latest, FinalProps, S);
|
react_to_env_A50(P_latest, FinalProps, S);
|
||||||
true ->
|
true ->
|
||||||
?REACT({a30, ?LINE, []}),
|
?REACT({a40, ?LINE, []}),
|
||||||
react_to_env_C300(P_newprop, P_latest, S)
|
react_to_env_C300(P_newprop, P_latest, S)
|
||||||
end
|
end
|
||||||
end.
|
end.
|
||||||
|
|
Loading…
Reference in a new issue