Trivial change to the name of the gensym generated by DOLIST*
Trivial change to the name of the gensym generated by DOLIST*

darcs-hash:20050809061102-dd2a1-c79629ddfcbfc39f43f96ec795830e260e2e9bb6.gz

evrim/arnesi