diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2022-03-24 23:24:10 +0100 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2022-03-24 23:24:10 +0100 |
commit | 09796c026376b49a8bc5bb3a2865db015d3dfb06 (patch) | |
tree | e2019dd175210e5becf4c85338f8344a7dbb4913 | |
parent | 175c78591b1877c280936cc663b76e47f207dd77 (diff) |
Random cleanup
-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())); |