Define PINOCCHIO_PRAGMA_DEPRECATED

Define Documentation

PINOCCHIO_PRAGMA_DEPRECATED(the_message)