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

Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Sat Nov 29 20:12:05 2014 +0100

Spurious comma removed.

---

src/Boundary_defs.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/Boundary_defs.hh b/src/Boundary_defs.hh index 420beb1..efced41 100644 --- a/src/Boundary_defs.hh +++ b/src/Boundary_defs.hh @@ -33,7 +33,7 @@ namespace Boundary_NS { struct Property { enum Type { SPECIAL_, - OPEN_, + OPEN_ }; typedef bool Value; static const Value default_value = true;