where did terminate() go?

[Martin v. Loewis]

> > terminate() did not go away, there is no such function in standard C++.
> > 
> And what is 18.6.3.3 [lib.terminate] about, then?

It defines std::terminate(), not terminate().

Regards,
Martin