| commit | 3966e2e74cbb146ad717b2dbfdcd57d3983cc4f9 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 26 Sep 2006 16:07:24 +0000 (26 18:07 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 26 Sep 2006 16:07:24 +0000 (26 18:07 +0200) | ||
| tree | 98f92f8e036bcc0c44bba17e67e081a692c4d7de | treesnapshot (tar.gz zip) |
| parent | a0aa047338ca839caa22a8e4e32875675a0b8da6 | commitdiff |
lexmin.cc: reenable optimization of checking domains we know to be empty
This optimization was disabled in 07fbb54826bfb897c5f24cd7dc822f1d8279b783,
because we supposedly didn't have enough information, but actually, we do.
This optimization was disabled in 07fbb54826bfb897c5f24cd7dc822f1d8279b783,
because we supposedly didn't have enough information, but actually, we do.
| lexmin.cc | diffblobblamehistory |