summary refs log tree commit diff stats
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/advopt.txt1
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: