/*-----------------------------------------------------------------------------
 *
 * (c)2014 Tweag I/O
 *
 * Prototypes for StaticPtrTable.c
 *
 * -------------------------------------------------------------------------- */

#pragma once

#include "BeginPrivate.h"

/** Frees the Static Pointer Table. */
void exitStaticPtrTable ( void );

#include "EndPrivate.h"