[PPL-devel] [GIT] ppl/ppl(master): Label updated.

[Roberto Bagnara]

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

Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Mon Oct 28 09:04:37 2013 +0100

Label updated.

---

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

diff --git a/doc/definitions.dox b/doc/definitions.dox
index eae3ce5..6565e52 100644
--- a/doc/definitions.dox
+++ b/doc/definitions.dox
@@ -1586,7 +1586,7 @@ Note that the above set might not be an NNC polyhedron.
 \subsection Positive_Time_Elapse_Operator Positive Time-Elapse Operator
 
 The <EM>positive time-elapse</EM> operator has been defined in
-\ref BFM11 "[BFM11,BFM12]".
+\ref BFM11 "[BFM11,BFM13]".
 The operator provided by the library works on NNC
 polyhedra.  For any two NNC polyhedra \f$\cP, \cQ \in \Pset_n\f$, the
 positive time-elapse between \f$\cP\f$ and \f$\cQ\f$, denoted \f$ \cP