tree 1b709d4a2c364caf2f1ed90696a19626358e2f40
parent 82c359c10d92e76c40a052ab473b197bf15edbaf
author Davide Pesavento <davide.pesavento@lip6.fr> 1495909388 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1495909388 -0400

build: fix compilation with clang on Ubuntu 14.04

Change-Id: I0ce54ec0e42cfba8b5da129e8f81e84ef76254db
Refs: #4096