Commit 64266293838f1ff501dda60a9afb8e5cb2b6b6f6

Tom Tromey 1996-02-21T05:55:47

Bug fix