Commit 8f3f62dcc4a7ea403bd3cbbf860364f192507014

Paul Eggert 2004-08-12T07:59:56

Remove ELIDE_CODE hack.