Remove an outdated comment

Summary: This comment is misleading. We only handle the `AttachTo` feature here. Declared taint doesn't need to be handled here, it will be joined at the end of the iteration, by the fixpoint algorithm. Let's remove the comment to prevent confusion.

Reviewed By: dkgi

Differential Revision: D30758273

fbshipit-source-id: 66697ca1a5f0181089a51cbb39011d8b44d1ef57

Author: arthaud

source/interprocedural_analyses/taint/forwardAnalysis.ml

@@ -1805,8 +1805,6 @@ let run ~environment ~qualifier ~define ~call_graph_of_define ~existing_model =
   in
   let resolution = TypeEnvironment.ReadOnly.global_resolution environment in
   let extract_model { FixpointState.taint; _ } =
-    (* Explicitly declared taint is not propagated to the result and needs to be picked up from the
-       existing model. *)
     let features_to_attach = extract_features_to_attach existing_model.forward.source_taint in
     let source_taint =
       extract_source_model ~define:define.value ~resolution ~features_to_attach taint