bdd_default_errhandler

void bdd_default_errhandler ( int  e  )  Default error handler. The default error handler prints the current error message corresponding to e on stdout and calls abort(). See also: bdd_error_hook

---