Module: ppl/ppl Branch: termination Commit: 609a4b2ead0b88688499ef007f79476b5cadea4c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=609a4b2ead0b8...

Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu Mar 18 08:32:46 2010 +0000

Delete objects before exiting code.

---

interfaces/Prolog/tests/pl_check.pl | 1 + 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/interfaces/Prolog/tests/pl_check.pl b/interfaces/Prolog/tests/pl_check.pl index 5abfb02..2498da4 100644 --- a/interfaces/Prolog/tests/pl_check.pl +++ b/interfaces/Prolog/tests/pl_check.pl @@ -1995,6 +1995,7 @@ compute_timeout_hypercube(Hsecs, T, Dim_in, Dim_out, CS_out) :- ppl_reset_timeout, (Catch_Exception == ok -> Dim_out = Dim_in, + ppl_delete_Polyhedron(P), CS_out = CS ; Dim1 is Dim_in+1,