Changeset 42352

Timestamp:

Dec 30, 2007, 1:51:32 AM (15 years ago)

Author:

Jonathan Turkanis

Message:

replaced numeric literal '10' with the constant 'data_reps'; this was probably an accidentally committed temporary change which has not been noticed for a long time

(No files)