//
// Created by Antoine Bartuccio on 22/05/2018.
//

#include "Objects.h"

void *malloc_or_die(size_t size){
	void *ptr = malloc(size);
	if (ptr == NULL){
		CRASH("Error allocating object");
	}
	return ptr;
}