Remove outdated comment

lthls · Nov 7, 2024 · 26de012 · 26de012
1 parent ac27950
commit 26de012
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/middle_end/flambda2/types/provers.ml b/middle_end/flambda2/types/provers.ml
@@ -446,7 +446,6 @@ type boxed_or_tagged_number =
       Alloc_mode.For_types.t * Flambda_kind.Boxable_number.t * Type_grammar.t
   | Tagged_immediate
 
-(* CR pchambart: Remove fragile matchs and reuse this function *)
 let prove_is_a_boxed_or_tagged_number_value _env
     (value_head : TG.head_of_kind_value_non_null) :
     boxed_or_tagged_number generic_proof =