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

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Mar 18 17:15:05 2010 +0100

Avoid a broken reference to another manual that is built later.

---

Watchdog/src/Threshold_Watcher.defs.hh | 5 +++-- 1 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/Watchdog/src/Threshold_Watcher.defs.hh b/Watchdog/src/Threshold_Watcher.defs.hh index ef3e638..f565e67 100644 --- a/Watchdog/src/Threshold_Watcher.defs.hh +++ b/Watchdog/src/Threshold_Watcher.defs.hh @@ -31,8 +31,9 @@ site: http://www.cs.unipr.it/ppl/ . */ /*! \brief A class of watchdogs controlling the exceeding of a threshold.

- \tparam Traits class to set data types and functions for the - threshold handling. See \ref Weightwatch_Traits for an example. + \tparam Traits + A class to set data types and functions for the threshold handling. + See \c Parma_Polyhedra_Library::Weightwatch_Traits for an example. */ template <typename Traits> class Parma_Watchdog_Library::Threshold_Watcher {