--- art_misc.h~ 2007-01-01 18:59:22.000000000 -0500 +++ art_misc.h 2007-08-20 14:30:15.000000000 -0400 @@ -34,10 +34,6 @@ #include #endif -void *art_alloc(size_t size); -void art_free(void *ptr); -void *art_realloc(void *ptr, size_t size); - /* These aren't, strictly speaking, configuration macros, but they're damn handy to have around, and may be worth playing with for debugging. */ @@ -78,6 +74,10 @@ extern "C" { #endif +void *art_alloc(size_t size); +void art_free(void *ptr); +void *art_realloc(void *ptr, size_t size); + void ART_GNUC_NORETURN art_die (const char *fmt, ...) ART_GNUC_PRINTF (1, 2);