Commit 708841f9 authored by jvoisin's avatar jvoisin
Browse files

Fix the coverage

parent d4479d9b