stephenf@elecvax.eecs.unsw.oz (Stephen Frede) (11/06/85)
It serves me right for making a change and not testing it before posting. The line which reads "typedef char int;" should read "typedef int bool;". Sorry about that. - Stephen Frede