[PPL-devel] [GIT] ppl/ppl(compliance): Deleted trailing whitespace.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Jun 20 11:10:24 2014 +0200

Deleted trailing whitespace.

---

 src/Affine_Space.cc                                |    3 +-
 src/Ask_Tell_inlines.hh                            |    2 +-
 src/BDS_Status_inlines.hh                          |   10 +-
 src/BD_Shape.cc                                    |    6 +-
 src/BD_Shape_inlines.hh                            |   16 +-
 src/BD_Shape_templates.hh                          |    4 +-
 src/Bit_Row.cc                                     |   10 +-
 src/Box.cc                                         |    4 +-
 src/Box_Status_inlines.hh                          |    4 +-
 src/Box_inlines.hh                                 |   36 ++--
 src/CO_Tree.cc                                     |   46 +++---
 src/CO_Tree_inlines.hh                             |    6 +-
 src/CO_Tree_templates.hh                           |    2 +-
 src/Congruence.cc                                  |   14 +-
 src/Congruence_System.cc                           |    6 +-
 src/Constraint.cc                                  |   10 +-
 src/Constraint_System.cc                           |    2 +-
 src/Dense_Row.cc                                   |    4 +-
 ...Division_Floating_Point_Expression_templates.hh |    2 +-
 src/Float_templates.hh                             |   10 +-
 src/Floating_Point_Expression_inlines.hh           |    2 +-
 src/Generator.cc                                   |   18 +-
 src/Generator_System.cc                            |    2 +-
 src/Generator_System_inlines.hh                    |    2 +-
 src/Generator_inlines.hh                           |    2 +-
 src/Grid_Generator_System.cc                       |    2 +-
 src/Grid_Status.cc                                 |   16 +-
 src/Grid_chdims.cc                                 |   22 +-
 src/Grid_conversion.cc                             |    6 +-
 src/Grid_inlines.hh                                |    4 +-
 src/Grid_nonpublic.cc                              |    6 +-
 src/Grid_public.cc                                 |  208 ++++++++++----------
 src/Grid_simplify.cc                               |   12 +-
 src/Grid_templates.hh                              |    8 +-
 src/Grid_widenings.cc                              |   56 +++---
 src/checked.cc                                     |    2 +-
 src/checked_inlines.hh                             |    4 +-
 src/globals_inlines.hh                             |    2 +-
 src/wrap_assign.hh                                 |    8 +-
 39 files changed, 289 insertions(+), 290 deletions(-)

Diff:   http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=15c8505625e4112c862377918d57225e7d88fb6d