Commit afd5aebd3b4b84205651fcc621ef19290c38557c

Tom Tromey 1996-04-04T22:11:18

Fixed bug