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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Nov 5 15:32:14 2011 +0100

Indentation fixes. Detected by ECLAIR service indntion.

---

src/BD_Shape.defs.hh | 2 +- src/BD_Shape.inlines.hh | 12 ++++++------ src/BD_Shape.templates.hh | 4 ++-- src/Box.defs.hh | 2 +- src/DB_Matrix.templates.hh | 2 +- src/DB_Row.defs.hh | 4 ++-- src/Grid.defs.hh | 2 +- src/Grid_public.cc | 6 +++--- src/Octagonal_Shape.inlines.hh | 12 ++++++------ src/Octagonal_Shape.templates.hh | 6 +++--- src/Partially_Reduced_Product.templates.hh | 8 ++++---- src/Pointset_Powerset.defs.hh | 10 +++++----- src/Polyhedron_public.cc | 2 +- src/Variables_Set.cc | 2 +- src/minimize.cc | 2 +- 15 files changed, 38 insertions(+), 38 deletions(-)

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