Module: ppl/ppl Branch: master Commit: 04e4cfbf6a817a734047d14319aa91f64e2c2183 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=04e4cfbf6a817...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Apr 6 12:11:56 2012 +0200
Reference to no longer existing namespace removed. (Wonder why we did not have a Doxygen warning.)
---
src/Threshold_Watcher.defs.hh | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/Threshold_Watcher.defs.hh b/src/Threshold_Watcher.defs.hh index c68ae79..4896adc 100644 --- a/src/Threshold_Watcher.defs.hh +++ b/src/Threshold_Watcher.defs.hh @@ -34,7 +34,7 @@ site: http://bugseng.com/products/ppl/ . */
\tparam Traits A class to set data types and functions for the threshold handling. - See \c Parma_Polyhedra_Library::Watchdog::Weightwatch_Traits for an example. + See \c Parma_Polyhedra_Library::Weightwatch_Traits for an example. */ template <typename Traits> class Parma_Polyhedra_Library::Threshold_Watcher { @@ -80,7 +80,7 @@ private: //! Check threshold reaching. static void check();
-}; // class Parma_Polyhedra_Library::Watchdog::Threshold_Watcher +}; // class Parma_Polyhedra_Library::Threshold_Watcher
// Templatic initialization of static data member.