Include file:
#include "mcrl2/utilities/unused.h"
add your file description here.
mcrl2::utilities::
::
mcrl2_unused
Function that can be used to silence unused parameter warnings.
mcrl2/utilities/unordered_set.h
mcrl2/utilities/workarounds.h