Remove -version-file option from option summary

The `-version-file` option was removed in commit 600803c, but remained in the option summary, as reported in #386.
AbsInt · Apr 23, 2021 · 1a52f58 · 1a52f58
1 parent bb5dab8
commit 1a52f58
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/driver/CommonOptions.ml b/driver/CommonOptions.ml
@@ -77,7 +77,6 @@ let general_help =
   -v             Print external commands before invoking them
   -timings       Show the time spent in various compiler passes
   -version       Print the version string and exit
-  -version-file <file> Print version inforation to <file> and exit
   -target <value> Generate code for the given target
   -conf <file>   Read configuration from file
   @<file>        Read command line options from <file>