Commit ac4023d124e2a0a0bb3426f7996c766672fa2096

Tom Tromey 1997-10-21T06:41:53

sanity bug fix