K 10
svn:author
V 4
neel
K 8
svn:date
V 27
2014-07-20T16:34:35.041787Z
K 7
svn:log
V 108
Fix build without INVARIANTS defined by getting rid of unused variable 'exc'.

Reported by:	adrian, stefanf

END