tree 9f4ea8ee5dad026e307f59dd3c537ccfb0f87b14
parent eb3197fa353af1a28c573676072c868b52535bdf
author Davide Pesavento <davide.pesavento@lip6.fr> 1395168579 +0100
committer Alex Afanasyev <alexander.afanasyev@ucla.edu> 1395209735 -0700

tools: fix two warnings produced by gcc-4.8.

Change-Id: Ia27dd0b84b4a0e429f005ba4c0a5a5479dfc6769