diff options
Diffstat (limited to 'docs/users_guide/expected-undocumented-flags.txt')
| -rw-r--r-- | docs/users_guide/expected-undocumented-flags.txt | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/docs/users_guide/expected-undocumented-flags.txt b/docs/users_guide/expected-undocumented-flags.txt index 8791134f11..fdcf1eaee2 100644 --- a/docs/users_guide/expected-undocumented-flags.txt +++ b/docs/users_guide/expected-undocumented-flags.txt @@ -81,8 +81,6 @@ -fspec-constr-recursive -fspecialize -fspecialize-aggressively --fstg-lift-lams-non-rec-args-any --fstg-lift-lams-rec-args-any -fth -ftype-function-depth -funfolding-keeness-factor |