Revert "Remove compilation warning (develop branch)"

This reverts commit b6842935901681bb9c6be1ad0ba3ee8d3bcbe94e.