Commit 7bd7d68a4bee4345a25fdc41d4752141218c9eff

Tom Tromey 1996-05-14T17:26:17

Fixed EXTRA_ problems