[PPL-devel] [GIT] ppl/ppl(master): Include <stdlib.h> instead of <malloc.h>.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Mar 28 08:10:18 2009 +0100

Include <stdlib.h> instead of <malloc.h>.

---

 interfaces/C/tests/print_to_buffer.c |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/interfaces/C/tests/print_to_buffer.c b/interfaces/C/tests/print_to_buffer.c
index 70b304e..bac2557 100644
--- a/interfaces/C/tests/print_to_buffer.c
+++ b/interfaces/C/tests/print_to_buffer.c
@@ -1,4 +1,4 @@
-/* Declarations of print_ppl_*_to_buffer() functions.
+/* Definitions of print_ppl_*_to_buffer() functions.
    Copyright (C) 2001-2009 Roberto Bagnara <bagnara at cs.unipr.it>
 
 This file is part of the Parma Polyhedra Library (PPL).
@@ -22,7 +22,7 @@ site: http://www.cs.unipr.it/ppl/ . */
 
 #include "ppl_c.h"
 #include "print_to_buffer.h"
-#include <malloc.h>
+#include <stdlib.h>
 #include <string.h>
 
 #define DEFINE_PRINT_TO_BUFFER(Type)                                    \