Module: ppl/ppl Branch: master Commit: 3d8965685d763098df4889e5912b01a49ef9ccb0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3d8965685d763...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Oct 30 09:16:59 2011 +0100
Unwanted null statements removed. Detected by ECLAIR service nullstmt.
---
src/Box.templates.hh | 2 +- src/Grid.inlines.hh | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/Box.templates.hh b/src/Box.templates.hh index 7fba12a..f1ea6c4 100644 --- a/src/Box.templates.hh +++ b/src/Box.templates.hh @@ -1296,7 +1296,7 @@ Box<ITV>::check_empty() const { x.set_empty(); return true; } - x.set_nonempty();; + x.set_nonempty(); return false; }
diff --git a/src/Grid.inlines.hh b/src/Grid.inlines.hh index e887e00..21ea8e0 100644 --- a/src/Grid.inlines.hh +++ b/src/Grid.inlines.hh @@ -233,12 +233,12 @@ Grid::hash_code() const {
inline Constraint_System Grid::constraints() const { - return Constraint_System(congruences());; + return Constraint_System(congruences()); }
inline Constraint_System Grid::minimized_constraints() const { - return Constraint_System(minimized_congruences());; + return Constraint_System(minimized_congruences()); }
inline void