[PPL-devel] [GIT] ppl/ppl(master): Added files pretty_print.*.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sat Mar 21 10:05:00 2009 +0100

Added files pretty_print.*.

---

 src/Makefile.am |    7 +++++--
 1 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/Makefile.am b/src/Makefile.am
index 279196e..83a2ad6 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -318,7 +318,9 @@ Partially_Reduced_Product.defs.hh \
 Partially_Reduced_Product.inlines.hh \
 Partially_Reduced_Product.templates.hh \
 max_space_dimension.hh \
-algorithms.hh
+algorithms.hh \
+pretty_print.hh \
+pretty_print.inlines.hh
 #Any_Pointset.types.hh \
 #Any_Pointset.defs.hh \
 #Any_Pointset.inlines.hh \
@@ -396,7 +398,8 @@ mp_std_bits.cc \
 version.cc \
 $(INCLUDE_FILES) \
 $(NESTED_INCLUDE_FILES) \
-swapping_sort.icc
+swapping_sort.icc \
+pretty_print.cc
 #Pointset_Ask_Tell.cc
 
 if NO_UNDEFINED