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