> I worked it out. I wrote my own version of copy_term which only > duplicated a particular variable. The code is below. If anyone can > suggest a more efficient way of doing this, I'd like to hear it. Have you had a look at copy_term_vars/3 ? Ulrich -- Ulrich Scholz Phone: +49-6221-533244 Email: ulrich.scholz_at_...10... European Media Laboratory GmbH Schloss-Wolfsbrunnenweg 33 69118 Heidelberg Amtsgericht Mannheim / HRB 335719 Managing Partner: Dr. h.c. Klaus Tschira, Scientific and Managing Director: Prof. Dr.-Ing. Andreas Reuter www.eml-d.villa-bosch.deReceived on Wed Mar 28 2007 - 09:37:03 CEST
This archive was generated by hypermail 2.3.0 : Wed Sep 25 2024 - 15:13:20 CEST