Define PINOCCHIO_PRAGMA_WARNING

Define Documentation

PINOCCHIO_PRAGMA_WARNING(the_message)