K 10
svn:author
V 6
alfred
K 8
svn:date
V 27
2012-12-11T05:59:16.090132Z
K 7
svn:log
V 116
Fix WITNESS when INVARIANT_SUPPORT is defined.

This fixes tinderbox breakage from r244105.

Pointed out by: adrian

END