Fix to allow compilation with gcc 7.1
This is an error spotted when compiling with gcc 7.1.
as for why it hasn't been spotted see @clemenci's explanation here: !829 (merged)
This is an error spotted when compiling with gcc 7.1.
as for why it hasn't been spotted see @clemenci's explanation here: !829 (merged)