var NAVTREEINDEX12 =
{
"warnings.html#return-value-ignored":[0,33,10],
"warnings.html#undeclared-var":[0,33,11],
"warnings.html#unknown-warning":[0,33,12],
"warnings.html#unreachable-code":[0,33,13],
"warnings.html#unreferenced-variable":[0,33,14],
"warnings.html#warning-mask-unchanged":[0,33,15]
};
