Commit 02f610ee2a1ef950e0d33bd597cb98bbb18dcc7a

Tom Tromey 1996-12-07T02:01:08

bug fix from Ulrich