From cc7a76a77d28f1b9b90b1f0b36d8df4d48a2cf97 Mon Sep 17 00:00:00 2001 From: Simmo Saan Date: Thu, 15 Aug 2024 15:48:51 +0300 Subject: [PATCH] Fix comment in history thread ID is_must_parent --- src/cdomain/value/cdomains/threadIdDomain.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/cdomain/value/cdomains/threadIdDomain.ml b/src/cdomain/value/cdomains/threadIdDomain.ml index 7e208cba0e..f684aace22 100644 --- a/src/cdomain/value/cdomains/threadIdDomain.ml +++ b/src/cdomain/value/cdomains/threadIdDomain.ml @@ -145,7 +145,7 @@ struct false else if is_unique t' && P.equal p p' then (* t is already unique, so no need to compare sets *) false (* thread is not its own parent *) - else ( (* both are unique, but different *) + else ( (* t is already unique, so no need to check sets *) match GobList.remove_common_prefix Base.equal (List.rev p) (List.rev p') with (* prefixes are stored reversed *) | [], _ -> true (* p is prefix of p' *) | _ :: _, _ -> false