/* Edison Design Group, 2000-2016. */
/*
The new header should be included as "#include <new>".  This file is
provided for compatibility with older programs that use "#include
<new.h>".
*/
#ifndef __NEW_H
#define __NEW_H

#include <new>

#endif  /* ifndef __NEW_H */
