RE: [Gcl-devel] 2.6.2.....

[Mike Thomas]

Hi Matt.

|    I should have mentioned this yesterday but I was moving fairly
| quickly - the
|    set.out file was completely empty.
|
| Just in case this helps:  Your other email mentioned base.out rather than
| set.out.  Moreover, there shouldn't be a set.out -- it should be sets.out.

Yes, "set.out" was a clerical error.  "sets.out" is empty.

Regarding "base.out", I originally pasted into my email the output from (by
memory):

  find books -iname "*.out" -exec fgrep -i error \{\} \; -print

which printed on my console the name of the file in which the error occurred
so that I could look more closely; so that filename was really not a message
from ACL2.

Sorry about the misunderstanding.

Cheers

Mike Thomas.