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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Mar 17 20:44:53 2010 +0400

Define PROLOG_TRACK_ALLOCATION to 1 to make a few bugs evident.

---

interfaces/Prolog/ppl_prolog_common.defs.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/interfaces/Prolog/ppl_prolog_common.defs.hh b/interfaces/Prolog/ppl_prolog_common.defs.hh index 33af32d..3457029 100644 --- a/interfaces/Prolog/ppl_prolog_common.defs.hh +++ b/interfaces/Prolog/ppl_prolog_common.defs.hh @@ -37,7 +37,7 @@ site: http://www.cs.unipr.it/ppl/ . */ #include <iostream>

#ifndef PROLOG_TRACK_ALLOCATION -#define PROLOG_TRACK_ALLOCATION 0 +#define PROLOG_TRACK_ALLOCATION 1 #endif #ifndef NOISY_PROLOG_TRACK_ALLOCATION #define NOISY_PROLOG_TRACK_ALLOCATION 0