/*
**    Name: rmafree.c
**
**    Date: Sun Jan  5 16:32:24 2003
**
*/

#include "rmamem.h"
#include <stdio.h>

void rmadebugfree(int line,char *file,void *ptr)
    {
    FILE *fh;

    fh = fopen("ram::0.$.deb","a");
    if (fh != NULL)
        {
        fprintf(fh,"rmadebugfree: %s %d  addr: %d\n",
                file,line,ptr);
        fclose(fh);
        }

    rmafree(ptr);
    }
