Function freeSize

Singular/mmstd.c:35–39

#include "Singular/mmalloc.h"

void freeSize(void* addr, size_t size)
{
  (void) size;
  if (addr) free(addr);
}

void* reallocSize(void* old_addr, size_t old_size, size_t new_size)
{