[PPL-devel] [GIT] ppl/ppl(termination): Delete objects before exiting code.
Patricia Hill
p.m.hill at leeds.ac.uk
Thu Mar 18 09:34:53 CET 2010
Module: ppl/ppl
Branch: termination
Commit: 609a4b2ead0b88688499ef007f79476b5cadea4c
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=609a4b2ead0b88688499ef007f79476b5cadea4c
Author: Patricia Hill <p.m.hill at 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,
More information about the PPL-devel
mailing list