This seems to do the trick, thanks! > > Could you try the attached patch for IDE support ? > > -- > Manuel Bouyer, LIP6, Universite Paris VI. Manuel.Bouyer@lip6.fr > -- > > ------------------------------------------------------------------------ > > diffName: diff > Type: Plain Text (text/plain)