| commit | f0f79f359ad69a98f3841c5072037df67c1beb05 | |
| author | loechner <loechner> | |
| Thu, 12 Sep 2002 07:49:25 +0000 (12 07:49 +0000) | ||
| committer | loechner <loechner> | |
| Thu, 12 Sep 2002 07:49:25 +0000 (12 07:49 +0000) | ||
| tree | fc25f8c5da0f455fdaf88e390dd8487df56da834 | treesnapshot (tar.gz zip) |
| parent | 0703128eb0132d099e10a7243b425f1b69c71391 | commitdiff |
forgot some value_clear in Domain_Free, some memory was not
freed when using gmp
freed when using gmp
| source/polyhedron.c | diffblobblamehistory |