diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/advopt.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/advopt.txt b/doc/advopt.txt index bc5f9948c..c877b02e9 100644 --- a/doc/advopt.txt +++ b/doc/advopt.txt @@ -24,7 +24,6 @@ Runtime checks (see -x): --floatChecks:on|off turn all floating point (NaN/Inf) checks on|off --nanChecks:on|off turn NaN checks on|off --infChecks:on|off turn Inf checks on|off - --nilChecks:on|off turn nil checks on|off --refChecks:on|off turn ref checks on|off (only for --newruntime) Advanced options: |