[PPL-devel] [GIT] ppl/ppl(compliance): Keep source lines to a length of 120 characters or less.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Jul  2 16:58:24 2014 +0200

Keep source lines to a length of 120 characters or less.
Fixes violations of rule LP1.41 detected by ECLAIR.

---

 src/Checked_Number_defs.hh       |    4 ++-
 src/Checked_Number_inlines.hh    |    4 ++-
 src/Linear_Expression_defs.hh    |   26 ++++++++++++++-------
 src/Linear_Expression_inlines.hh |   32 +++++++++++++++++----------
 src/checked_int_inlines.hh       |   44 ++++++++++++++++++++++++++++---------
 src/fpu-ia32.cc                  |    4 ++-
 6 files changed, 79 insertions(+), 35 deletions(-)

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