Commit 8869e041be024068b1e09f2ea6d02474ced3f4d8

Tom Tromey 1996-02-16T18:52:49

Bug fix