+++ /dev/null
-/* ----------------------------------------------------------------------------
- * $Id$
- * ----------------------------------------------------------------------------
- * Public Domain C Library - http://pdclib.sourceforge.net
- * This code is Public Domain. Use, modify, and redistribute at will.
- * --------------------------------------------------------------------------*/
-
-void abort( void ) { /* TODO */ };
-
-/* PDPC code - unreviewed
-{
- raise(SIGABRT);
- exit(EXIT_FAILURE);
-}
-*/