Fix compilation with gcc 5.4 (Ubuntu 16.04) (!607) · Merge requests · Gaudi / Gaudi

Although we do not officially support Ubuntu 16.04, it's nice to keep it working.

It was broken by !579 (merged).

Edited Feb 14, 2018 by Marco Clemencic

Fix compilation with gcc 5.4 (Ubuntu 16.04)