Commit 8bbac8a357b56cb88e005e90f2ee3f187ef4d239

Tom Tromey 1997-11-21T22:16:53

bug fix