| commit | 5a3f3005c6f1489a40f11f4f9e12b3b6ac6fbc82 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 25 Oct 2007 12:17:49 +0000 (25 14:17 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 25 Oct 2007 13:15:35 +0000 (25 15:15 +0200) | ||
| tree | 749159e92b58ebc7a89e278a0e96ed36dd20c0ad | treesnapshot (tar.gz zip) |
| parent | 8d2d47c8c7256445a567ec701b773dba07df6fd0 | commitdiff |
options.c: use Polyhedron_Sample for counting infinite sets by default
Also, remove fall-back Polyhedron_Sample.
Ever since 39ab0daf2ee9334d6ec16a6e0cc3187947dc5674,
the real Polyhedron_Sample is compiled unconditionally.
Also, remove fall-back Polyhedron_Sample.
Ever since 39ab0daf2ee9334d6ec16a6e0cc3187947dc5674,
the real Polyhedron_Sample is compiled unconditionally.
| options.c | diffblobblamehistory |