Commit c9156c8640d3b6df1ccbe4a6619abca610db4605

Tom Tromey 1996-02-12T17:45:39

Bug fix, plus test