Removed wrong comment

harmonylang · Aug 26, 2023 · b8eb160 · b8eb160
1 parent fcd6222
commit b8eb160
Showing 1 changed file with 0 additions and 2 deletions.
diff --git 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