[PPL-devel] [GIT] ppl/ppl(master): Do not include <stdint.h>.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at 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