This commit is contained in:
Andreas Rumpf 2016-06-06 20:35:33 +02:00
commit 4922eaa8b2

View file

@ -516,7 +516,7 @@ const
{low(TNoteKind)..high(TNoteKind)} - {warnShadowIdent, warnUninit, {low(TNoteKind)..high(TNoteKind)} - {warnShadowIdent, warnUninit,
warnProveField, warnProveIndex, warnProveField, warnProveIndex,
warnGcUnsafe, warnGcUnsafe,
hintPath, hintConf, hintPath,
hintDependency, hintDependency,
hintExecuting, hintExecuting,
hintCodeBegin, hintCodeEnd, hintCodeBegin, hintCodeEnd,