diff options
| author | pennae <82953136+pennae@users.noreply.github.com> | 2022-04-25 14:02:37 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-25 14:02:37 +0000 |
| commit | d6d6bbd9ef1eed6443165866cd7bd27faa9586a1 (patch) | |
| tree | 38e55dcce53445088725a86c14c903106879e0b6 /src/libstore/build/goal.cc | |
| parent | f2603e9c92947a0e0c01fc34e754270f46c63790 (diff) | |
| parent | 7f814d6d9af9d78f922d59115a94078f807676a8 (diff) | |
Merge branch 'master' into lto
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())); |