logic-TPTP-0.4.0.0: MACROS.h

#ifndef __MACROS_H

#define POINTED_FORMULA(c) \
	(Pointed c)
#define POINTED_TERM(c) \
	(Pointed c)
#endif