[PPL-devel] [GIT] ppl/ppl(termination): Define PROLOG_TRACK_ALLOCATION to 1 to make a few bugs evident.
Roberto Bagnara
bagnara at cs.unipr.it
Wed Mar 17 17:45:49 CET 2010
Module: ppl/ppl
Branch: termination
Commit: 6939662599fe07c6a70003ef215bff8b2b015bc3
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6939662599fe07c6a70003ef215bff8b2b015bc3
Author: Roberto Bagnara <bagnara at 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
More information about the PPL-devel
mailing list