File tree 2 files changed +2
-2
lines changed
2 files changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -626,7 +626,7 @@ and print_out_sig_item ppf =
626
626
finished its pre/post-processing work before we get to print anything. The original
627
627
attribute is already gone, replaced by a "BS:asdfasdfasd" thing here.
628
628
*)
629
- String. length item > = 3 && item.[0 ] = 'B ' && item.[1 ] = 'S ' && item.[2 ] = ': '
629
+ String. length item > = 20 && item.[0 ] = '\132 ' && item.[1 ] = '\149 ' && item.[2 ] = '\166 '
630
630
) oval_prims in
631
631
let print_right_hand_side ppf =
632
632
function
Original file line number Diff line number Diff line change @@ -418696,7 +418696,7 @@ and print_out_sig_item ppf =
418696
418696
finished its pre/post-processing work before we get to print anything. The original
418697
418697
attribute is already gone, replaced by a "BS:asdfasdfasd" thing here.
418698
418698
*)
418699
- String.length item >= 3 && item.[0] = 'B ' && item.[1] = 'S ' && item.[2] = ': '
418699
+ String.length item >= 20 && item.[0] = '\132 ' && item.[1] = '\149 ' && item.[2] = '\166 '
418700
418700
) oval_prims in
418701
418701
let print_right_hand_side ppf =
418702
418702
function
You can’t perform that action at this time.
0 commit comments