prohibitedtoAsciiCalled
ftp://ftp.de.debian.org/debian/pool/main/m/mcrl2/mcrl2_201409.0.orig.tar.gz
mcrl2-201409.0/tools/diagraphica/parser.cpp:126:21: style: Obsolete function 'QString::toAscii' called. It is recommended to use 'QString::toLatin1' instead. [prohibitedtoAsciiCalled]
mcrl2-201409.0/tools/diagraphica/parser.cpp:149:21: style: Obsolete function 'QString::toAscii' called. It is recommended to use 'QString::toLatin1' instead. [prohibitedtoAsciiCalled]
mcrl2-201409.0/tools/diagraphica/parser.cpp:164:21: style: Obsolete function 'QString::toAscii' called. It is recommended to use 'QString::toLatin1' instead. [prohibitedtoAsciiCalled]
mcrl2-201409.0/tools/ltsgraph/glscene.cpp:1200:26: style: Obsolete function 'QString::toAscii' called. It is recommended to use 'QString::toLatin1' instead. [prohibitedtoAsciiCalled]