-
Cedric Roux authored
We put an abort() at this point in the code, because if the previous commit is correct, the program will never comme here.
76c5f41a
We put an abort() at this point in the code, because if the previous commit is correct, the program will never comme here.