tree e1e6ecb8af339ed7c6fcbae664e8af1e79f42f98
parent b30863e0e255c5c7b18ee3cfc76b148d78f41280
author Davide Pesavento <davide.pesavento@lip6.fr> 1471350966 +0000
committer Junxiao Shi <git@mail1.yoursunny.com> 1471350966 +0000

table: silence unused variable warning in release builds

Warning introduced in commit 80f9fcdaa17aa9acf322e6bca34b41cc57415ad7

refs #3164

Change-Id: I3e97a1f6adf3beedc4b5608cac75a276735891cb