Update src/io/future.hpp
Co-authored-by: János Benjamin Antal <antaljanosbenjamin@users.noreply.github.com>
This commit is contained in:
parent
ca638db509
commit
4f4eb9ea13
@ -87,7 +87,7 @@ class Shared {
|
||||
break;
|
||||
}
|
||||
}
|
||||
if (!simulator_progressed) {
|
||||
if (!simulator_progressed) [[likely]] {
|
||||
cv_.wait(lock);
|
||||
}
|
||||
MG_ASSERT(!consumed_, "Future consumed twice!");
|
||||
|
Loading…
Reference in New Issue
Block a user