diff --git a/infer/src/concurrency/starvationDomain.ml b/infer/src/concurrency/starvationDomain.ml index 9cb34bc38..7f05668fc 100644 --- a/infer/src/concurrency/starvationDomain.ml +++ b/infer/src/concurrency/starvationDomain.ml @@ -224,7 +224,7 @@ module UIThreadExplanationDomain = struct type astate = t - let join lhs _ = lhs + let join lhs rhs = if List.length lhs.trace <= List.length rhs.trace then lhs else rhs let widen ~prev ~next ~num_iters:_ = join prev next