fixed an issue with VERIFY_ASSERT
1 file changed