Fix simplify_edge(): Delete an independent edge, even if we are not dumping this...
authorChristoph Mallon <christoph.mallon@gmx.de>
Mon, 6 Oct 2008 07:26:46 +0000 (07:26 +0000)
committerChristoph Mallon <christoph.mallon@gmx.de>
Mon, 6 Oct 2008 07:26:46 +0000 (07:26 +0000)
commit43aa0fcd2f53a2f9d3a78a1b06e4feb4ce76fe66
treee2a5471e4c1a29d7f996d4dc102b39b6f4cc3e78
parentf8c87aa3ecfd665dbef85d80b7afa0ddbb1fbe61
Fix simplify_edge(): Delete an independent edge, even if we are not dumping this event.

[r22514]
heuristical.c