diff options
Diffstat (limited to 'docs/CommandGuide/opt.html')
| -rw-r--r-- | docs/CommandGuide/opt.html | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/docs/CommandGuide/opt.html b/docs/CommandGuide/opt.html index 4bf67a49c2..2e531a9202 100644 --- a/docs/CommandGuide/opt.html +++ b/docs/CommandGuide/opt.html @@ -53,11 +53,6 @@ writes its output to the standard output. Specify the output filename. <p> - <li> -dsa-track-integers - <br> - Track integers as potential pointers. - <p> - <li> -profile-info-file <filename> <br> Specify the name of the file loaded by the -profile-loader option. |