Thanks to Carsten Heinz,  I'm posting the solution, in case somebody has
the same problem:
\lstset{extendedchars}
Federico.


Reply via email to