tree b043d1a11fb906d6f84458c74fa83edf28bae2bb
parent aaa32e65fa3f471d94bfa2a34dafc2421f999d20
author dleberre <leberre@cril.univ-artois.fr> 1369729433 +0200
committer dleberre <leberre@cril.univ-artois.fr> 1369729433 +0200

Fix for the bug discovered by Sergio Segura.