diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/fuzz_opt.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/fuzz_opt.py b/scripts/fuzz_opt.py index f272ddf83..d6a392129 100755 --- a/scripts/fuzz_opt.py +++ b/scripts/fuzz_opt.py @@ -1805,7 +1805,6 @@ opt_choices = [ ("--dce",), ("--directize",), ("--discard-global-effects",), - ("--enclose-world",), ("--flatten", "--dfo",), ("--duplicate-function-elimination",), ("--flatten",), |