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

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Feb 25 10:50:26 2012 +0100

Avoid long line.

---

src/Interval_Info.defs.hh | 4 +++- 1 files changed, 3 insertions(+), 1 deletions(-)

diff --git a/src/Interval_Info.defs.hh b/src/Interval_Info.defs.hh index e9751ce..5a2158e 100644 --- a/src/Interval_Info.defs.hh +++ b/src/Interval_Info.defs.hh @@ -190,7 +190,9 @@ public: set_boundary_property(t, SPECIAL, false); set_boundary_property(t, OPEN, false); } - void set_boundary_property(Boundary_Type t, const Boundary_NS::Property& p, bool value = true) { + void set_boundary_property(Boundary_Type t, + const Boundary_NS::Property& p, + bool value = true) { switch (p.type) { case Boundary_NS::Property::SPECIAL_: if (store_special) {