[PPL-devel] [GIT] ppl/ppl(compliance): Added missing braces. Fixes violations of rule MP1.6-4-1 detected by ECLAIR.

Roberto Bagnara bagnara at cs.unipr.it
Fri Jun 20 11:18:59 CEST 2014


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

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

Added missing braces. Fixes violations of rule MP1.6-4-1 detected by ECLAIR.

---

 src/Box_templates.hh | 1085 ++++++++++++++++++++++++++++++++------------------
 1 files changed, 690 insertions(+), 395 deletions(-)

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



More information about the PPL-devel mailing list