Commit 9c11ddf6d58ae61001ad8b5f4c9f6fc8e59baecf

Tom Tromey 1997-03-24T20:48:14

fixed bug in sanity check