[PPL-devel] [GIT] ppl/ppl(master): Wrong latex fixed.

[Patricia Hill]

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

Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Tue Mar 23 16:49:55 2010 +0000

Wrong latex fixed.

---

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

diff --git a/doc/definitions.dox b/doc/definitions.dox
index 469ce91..403cf99 100644
--- a/doc/definitions.dox
+++ b/doc/definitions.dox
@@ -2214,7 +2214,7 @@ where \f$\vect{w} \in \cL\f$ and
     |\mathrm{val}|
        = \min\Bigl\{
                \big|\langle \vect{a}, \vect{v} \rangle + b
-               \big| \Big| \vect{v} \in \cL
+               \bigm| \Big| \vect{v} \in \cL
              \Bigr\}.
 \f]