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

#include <typeinfo>

#endif /* _TYPEINFO_H */
