Suppression warning pour les attributs de la config qui contiennent d… · klee-contrib/topmodel@5016080