[PPL-devel] [GIT] ppl/ppl(master): Reference to no longer existing namespace removed.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at 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.