[PPL-devel] [GIT] ppl/ppl(master): Use standard notation for pairs.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Oct 28 06:33:57 2011 +0200

Use standard notation for pairs.

---

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

diff --git a/src/CO_Tree.defs.hh b/src/CO_Tree.defs.hh
index 5936105..f565ffd 100644
--- a/src/CO_Tree.defs.hh
+++ b/src/CO_Tree.defs.hh
@@ -75,7 +75,7 @@ namespace Parma_Polyhedra_Library {
   available caches.
 
   Assuming \p n is the number of elements in the tree and \p B is the number
-  of <dimension_type,Coefficient> pairs that fit in a cache line, the
+  of (dimension_type, Coefficient) pairs that fit in a cache line, the
   time and cache misses complexities are the following:
 
   - Insertions/Queries/Deletions: \f$O(\log^2 n)\f$ time,