tree 06985e3ed91ce30be6959dc9be42f85ce5e6f42d
parent 44660cf226c1c58d65c33803b576fc1813596039
author Davide Pesavento <davide.pesavento@lip6.fr> 1503626640 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1503718982 -0400

Fix compilation with Boost 1.65.0

Also sync default-compiler-flags.py with NFD

Change-Id: Ib39118567428e8fe2ac73f2b7cbd96fe1a9598b8
Refs: #4259, #4248