/*
**    Name: rmashrink.c
**
**    Date: Sun Jan  5 16:31:45 2003
**
*/

#include "rmamem.h"

void rmamem_shrink(void)
    {
/* Does nothing for now */

    return;
    }
