From b8eb160ac6bf3c5acaf9cf73f8978ebca6f54925 Mon Sep 17 00:00:00 2001 From: Robbert van Renesse Date: Sat, 26 Aug 2023 14:08:38 -0400 Subject: [PATCH] Removed wrong comment --- harmony_model_checker/charm/ops.c | 2 -- 1 file changed, 2 deletions(-) diff --git a/harmony_model_checker/charm/ops.c b/harmony_model_checker/charm/ops.c index 86cd1f04..a0f70686 100644 --- a/harmony_model_checker/charm/ops.c +++ b/harmony_model_checker/charm/ops.c @@ -3368,8 +3368,6 @@ hvalue_t f_intersection( } } - // TODO. This should intersect the dictionaries, not concatenate them ?????? - // If all are empty dictionaries, we're done. if (total == 0) { #ifdef HEAP_ALLOC