Define PINOCCHIO_PRAGMA_MESSAGE

Define Documentation

PINOCCHIO_PRAGMA_MESSAGE(the_message)