Module: ppl/ppl Branch: master Commit: 04affbe1f914df631a682bf661b86232023c6d4e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=04affbe1f914d...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Sep 11 22:28:09 2009 +0200

Do not include <stdint.h>. The header files <stdint.h> and/or <inttypes.h> are included by ppl-config.h.

---

interfaces/marked_pointers.hh | 2 -- 1 files changed, 0 insertions(+), 2 deletions(-)

diff --git a/interfaces/marked_pointers.hh b/interfaces/marked_pointers.hh index 2ba6f6b..e9e534f 100644 --- a/interfaces/marked_pointers.hh +++ b/interfaces/marked_pointers.hh @@ -26,8 +26,6 @@ site: http://www.cs.unipr.it/ppl/ . */

namespace Parma_Polyhedra_Library {

-#include <stdint.h> - #define PPL_MARKED_POINTERS_MASK ((uintptr_t) 1)

/*! \brief