diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2022-11-03 17:43:40 +0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2022-11-03 17:43:40 +0100 |
| commit | b95faccf03e5213b6087626ab8d46e0704aad6b5 (patch) | |
| tree | f9d560f2004f951d8efbf1024292a88366d8efd7 /src/libstore/build/goal.cc | |
| parent | 47dec825c5daeeb9d615eb4d1eead3dbaa06c7c9 (diff) | |
| parent | dd1970c233a82328445b69e903574e14115ee933 (diff) | |
Merge remote-tracking branch 'origin/master' into auto-uid-allocation
Diffstat (limited to 'src/libstore/build/goal.cc')
| -rw-r--r-- | src/libstore/build/goal.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/libstore/build/goal.cc b/src/libstore/build/goal.cc index d2420b107..58e805f55 100644 --- a/src/libstore/build/goal.cc +++ b/src/libstore/build/goal.cc @@ -28,7 +28,7 @@ void Goal::addWaitee(GoalPtr waitee) void Goal::waiteeDone(GoalPtr waitee, ExitCode result) { - assert(waitees.find(waitee) != waitees.end()); + assert(waitees.count(waitee)); waitees.erase(waitee); trace(fmt("waitee '%s' done; %d left", waitee->name, waitees.size())); |