tree 3b68765fcfa39fceb1153a85d0e7938d2d7f56ae
parent f43a03ebae7cd1c3c489fd8fb031eb6db071bc95
author Davide Pesavento <davide.pesavento@lip6.fr> 1520816612 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1520816612 -0400

Fix -Wvexing-parse warnings with clang-6

Change-Id: I577ace832d2d2af7cf7bdef8adfd6c10ba2711d7