Skip to content

Commit 09b9e1c

Browse files
committed
Fix for -zero-alloc-check
1 parent 71e5e07 commit 09b9e1c

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

driver/main_args.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -967,7 +967,7 @@ let mk_afl_inst_ratio f =
967967
;;
968968

969969
let mk_alloc_check f =
970-
"-alloc-check", Arg.Unit f, "<ignored>"
970+
"-zero-alloc-check", Arg.Unit f, "<ignored>"
971971

972972
let mk__ f =
973973
"-", Arg.String f,

0 commit comments

Comments
 (0)