/*! \file util.c
 *
 * \brief This file contains various utility functions.
 *
 * \author John Reppy
 */

/*
 * COPYRIGHT (c) 2012 The Diderot Project (http://diderot-language.cs.uchicago.edu)
 * All rights reserved.
 */

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

/* CheckMalloc:
 */
void *CheckMalloc (size_t nbytes)
{
    void *obj = malloc(nbytes);
    if (obj == 0) {
	fprintf(stderr, "Fatel error: unable to allocate %d bytes\n", (int)nbytes);
	exit (1);
    }

    return obj;
}