[basic.start.main] Remove redundant phrase (#5083)

Author: timsong-cpp

source/basic.tex

@@ -6386,7 +6386,7 @@
 without leaving the current block (e.g., by calling the function
 \tcode{std::exit(int)}\iref{support.start.term}) does not destroy any
 objects with automatic storage duration\iref{class.dtor}. If
-\tcode{std::exit} is called to end a program during the destruction of
+\tcode{std::exit} is invoked during the destruction of
 an object with static or thread storage duration, the program has undefined
 behavior.