Commit 730e1ed4368d3171eb5b4ae1cafce8022d57b091

Tom Tromey 1996-08-05T22:04:24

Bug fix