machine.h bug

Henry Cejtin henry@clairv.com
Thu, 13 Jul 2000 15:55:34 -0500


I seem to recall that when IntInf_init got first done that it was given both
the array and a size, and that I later converted it to take a NULL-terminated
array, so that may be where the bug came from.