• Fix unused warning

    SimonSapin committed Feb 28, 2017