[PPL-devel] [GIT] ppl/ppl(master): Minor improvement.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri May 15 14:47:30 2009 +0200

Minor improvement.

---

 doc/definitions.dox |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/definitions.dox b/doc/definitions.dox
index 9cbdb65..83cd6a7 100644
--- a/doc/definitions.dox
+++ b/doc/definitions.dox
@@ -2072,15 +2072,15 @@ is the grid
 
 The library provides operators for checking the relation holding
 between a grid  and
-a congruence, a grid generator, constraint or a (polyhedron) generator.
+a congruence, a grid generator, a constraint or a (polyhedron) generator.
 
 Suppose \f$\cL\f$ is a grid
 and \f$\cC\f$ an arbitrary congruence system representing \f$\cL\f$.
 Suppose also that
 \f$
   \cg = \bigl(
-        \langle \vect{a}, \vect{x} \rangle \equiv_f b
-      \bigr)
+          \langle \vect{a}, \vect{x} \rangle \equiv_f b
+        \bigr)
 \f$
 is a congruence relation
 with \f$\cL_{\cg} = \gcon\bigl(\{\cg\}\bigr)\f$.