Commit 6aaa39e283b9c6eb0f0a60e5f4bc600bbc764307

Tom Tromey 1996-05-22T15:52:02

Bug fix