diff --git a/Doc/Devel/cmdopt.html b/Doc/Devel/cmdopt.html index 5e90d2aba..10dc73170 100644 --- a/Doc/Devel/cmdopt.html +++ b/Doc/Devel/cmdopt.html @@ -60,7 +60,7 @@ and issues an error message if any unconsumed arguments are found. void Swig_check_options()
Checks all command line options to see if they have all been processed. If not, an error message is generated and -execution terminates with a call to exit(). This function is currently invoked in Source/Modules/main.cxx just before SWIG starts any processing of input files. +SWIG exits. This function is currently invoked in Source/Modules/main.cxx just before SWIG starts any processing of input files.
-A generic function that issues an error message about being unable to parse command line options. SWIG is terminated by a call to exit(). +A generic function that issues an error message about being unable to parse command line options and SWIG exits.