28 Jul
2007
28 Jul
'07
10:28 a.m.
Hi,
Good catch. I applied a fix, more or less your patch but without the (unneccesary) gensym.
Cheers, Marijn