File tree Expand file tree Collapse file tree 2 files changed +4
-2
lines changed Expand file tree Collapse file tree 2 files changed +4
-2
lines changed Original file line number Diff line number Diff line change @@ -501,7 +501,8 @@ let buckle_script_flags : (string * Bsc_args.spec * string) array =
501
501
502
502
" -warn-help" , unit_call Warnings. help_warnings,
503
503
" Show description of warning numbers" ;
504
-
504
+ " -bin-annot" , Unit_dummy ,
505
+ " *internal* keep the compatibility with RLS" ;
505
506
" -c" , Unit_dummy ,
506
507
" *internal* keep the compatibility with RLS"
507
508
|]
Original file line number Diff line number Diff line change @@ -438307,7 +438307,8 @@ let buckle_script_flags : (string * Bsc_args.spec * string) array =
438307
438307
438308
438308
"-warn-help", unit_call Warnings.help_warnings,
438309
438309
"Show description of warning numbers";
438310
-
438310
+ "-bin-annot", Unit_dummy,
438311
+ "*internal* keep the compatibility with RLS";
438311
438312
"-c", Unit_dummy,
438312
438313
"*internal* keep the compatibility with RLS"
438313
438314
|]
You can’t perform that action at this time.
0 commit comments