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