[PPL-devel] [GIT] ppl/ppl(master): Include "ppl_c_test.h" instead of "ppl_c.h".

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Mar 30 19:14:25 2009 +0200

Include "ppl_c_test.h" instead of "ppl_c.h".

---

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

diff --git a/interfaces/C/tests/formatted_output.c b/interfaces/C/tests/formatted_output.c
index c83a984..1381adc 100644
--- a/interfaces/C/tests/formatted_output.c
+++ b/interfaces/C/tests/formatted_output.c
@@ -20,8 +20,8 @@ Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA.
 For the most up-to-date information see the Parma Polyhedra Library
 site: http://www.cs.unipr.it/ppl/ . */
 
-#include "ppl_c.h"
 #include "ppl_c_test.h"
+
 #include "print_to_buffer.h"
 #include <stdio.h>