On Sun, Jun 2, 2013 at 3:49 PM, <ciao@clip.dia.fi.upm.es> wrote:

Dear Giacoma,

thanks for the report, we will look into it as soon possible. To help
us reproduce the problem, can you tell us exactly which version of
Ciao you are using? Did you install from the source (i.e., .tar.gz) or
you used the mac installer (.dmg)?

Cheers,

--
----------------------- The Ciao System Development Team --------------------
�The CLIP Group � � � � � � � � � � � � | � � � � � IMDEA Software Institute
�ciao@clip.dia.fi.upm.es � � � � � � � �| and Technical University of Madrid
� � � � � � � � � � � �http://www.ciao-lang.org / http://www.cliplab.org
-----------------------------------------------------------------------------