diff --git a/environments/Witness.h b/environments/Witness.h index 50dc116cc..d9d20a553 100644 --- a/environments/Witness.h +++ b/environments/Witness.h @@ -2167,7 +2167,7 @@ void Witness::ApplyAction(std::pair &s, WitnessAction a template void Witness::ApplyAction(WitnessState &s, WitnessAction a) const { - const auto &prevAction = s.leftRightRegions.back().action; + const auto prevAction = s.leftRightRegions.empty() ? kStart : s.leftRightRegions.back().action; auto leftRightRegion = LeftRightRegion{a}; switch (a) {