Update comments

backend/cfg/cfg.mli

@@ -154,11 +154,7 @@ val print_instruction :
    exception handling. It has a lot of redundancy and the result of the
    computation is not used.
 
-   Redundancy: linear_to_cfg reconstructs intraprocedural exception handling
-   stacks from linear IR and annotates each block with this information.
-   However, CFG instructions still include the original push/poptraps from
-   Linear.
-
+   CFG instructions still include push/poptraps.
    To remove these push/poptraps from CFG IR, we need to split blocks at every
    push/poptrap. Then, we can annotate the blocks with the top of the trap
    stack, instead of carrying the copy of the stack. *)

backend/cfg/cfgize.ml

@@ -784,8 +784,7 @@ let fundecl :
         fun_contains_calls;
         (* CR-someday mshinwell: [fun_poll] will need to be propagated in the
            future, e.g. when writing a [Polling] equivalent on [Cfg]. We don't
-           do this at present since there is no need, and because
-           [Linear_to_cfg] doesn't have [fun_poll] available. *)
+           do this at present since there is no need. *)
         fun_poll = _
       } =
     fundecl