Commit 0bf705c0e749abcaf5427001123929045e95d91f

Tom Tromey 1996-08-04T19:22:21

Bug fix