Module: ppl/ppl Branch: master Commit: cad1f47f089bfddbbb0df15890d04e633a466c1c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cad1f47f089bf...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon May 4 15:16:39 2009 +0200
Added missing full stops.
---
src/Grid.defs.hh | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/Grid.defs.hh b/src/Grid.defs.hh index 9e69132..865827c 100644 --- a/src/Grid.defs.hh +++ b/src/Grid.defs.hh @@ -367,13 +367,13 @@ public:
/*! \brief Returns true indicating that this domain has methods that - can recycle congruences + can recycle congruences. */ static bool can_recycle_congruence_systems();
/*! \brief Returns true indicating that this domain has methods that - can recycle constraints + can recycle constraints. */ static bool can_recycle_constraint_systems();