Define PINOCCHIO_UNUSED_VARIABLE

Define Documentation

PINOCCHIO_UNUSED_VARIABLE(var)

Helper to declare that a parameter is unused.