int main(int argc, char* argv[]) {
// Termina con mas informacion si hay una excepcion no manejada.
- std::set_terminate (__gnu_cxx::__verbose_terminate_handler);
+ set_terminate (__gnu_cxx::__verbose_terminate_handler);
// Necesita argumentos.
if (argc != 2) {