diff options
Diffstat (limited to 'src/util/Malloc.c')
-rw-r--r-- | src/util/Malloc.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/util/Malloc.c b/src/util/Malloc.c index d49a0bb3..9c23647b 100644 --- a/src/util/Malloc.c +++ b/src/util/Malloc.c @@ -8,7 +8,6 @@ @enddesc @version $Header$ @@*/ -static char *rcsid = "$Header$"; #include <stdio.h> #include <stdlib.h> @@ -16,8 +15,13 @@ static char *rcsid = "$Header$"; #include "cctk_WarnLevel.h" #include "cctk_Malloc.h" +#include "cctk_Flesh.h" #include "StoreHandledData.h" +static char *rcsid = "$Header$"; + +CCTK_FILEVERSION(util_Malloc_c) + int CCTK_Abort(void *GH); /*$#define MEMDEBUG$*/ |