Michael Toennies wrote:
>
>
In the arches are chole_1.arc and chole_2.arc .
>
>
Inside, both are Object chole_1 .
>
>
Should we change one to chole_2 or should we remove it?
chole_2 (the file) should be listed as being chole_2 in its name. I've fixed
it in the arch directory, but haven't run a collect on it.