Fix bug #507: Mark variable as unused in NDEBUG case
1 file changed