1.1 --- a/lemon/counter.h	Wed Dec 07 15:40:27 2005 +0000
     1.2 +++ b/lemon/counter.h	Wed Dec 07 15:43:44 2005 +0000
     1.3 @@ -71,9 +71,13 @@
     1.4      typedef _SubNoCounter<_SubNoCounter<P> > SubNoCounter;
     1.5    
     1.6      _SubNoCounter(P &parent) :_parent(parent) {}
     1.7 -    _SubNoCounter(P &parent,std::string title,std::ostream &os=std::cerr) 
     1.8 +    _SubNoCounter(P &parent,std::string,std::ostream &) 
     1.9        :_parent(parent) {}
    1.10 -    _SubNoCounter(P &parent,const char *title,std::ostream &os=std::cerr)
    1.11 +    _SubNoCounter(P &parent,std::string) 
    1.12 +      :_parent(parent) {}
    1.13 +    _SubNoCounter(P &parent,const char *,std::ostream &)
    1.14 +      :_parent(parent) {}
    1.15 +    _SubNoCounter(P &parent,const char *)
    1.16        :_parent(parent) {}
    1.17      ~_SubNoCounter() {}
    1.18      _SubNoCounter &operator++() { ++_parent; return *this;}
    1.19 @@ -82,7 +86,8 @@
    1.20      int operator--(int) { _parent--; return 0;}
    1.21      _SubNoCounter &operator+=(int c) { _parent+=c; return *this;}
    1.22      _SubNoCounter &operator-=(int c) { _parent-=c; return *this;}
    1.23 -    void reset(int c=0) {}
    1.24 +    void reset(int) {}
    1.25 +    void reset() {}
    1.26      operator int() {return 0;}
    1.27    };
    1.28  
    1.29 @@ -154,15 +159,18 @@
    1.30      typedef _SubNoCounter<NoCounter> SubNoCounter;
    1.31  
    1.32      NoCounter() {}
    1.33 -    NoCounter(std::string title,std::ostream &os=std::cerr) {}
    1.34 -    NoCounter(const char *title,std::ostream &os=std::cerr) {}
    1.35 +    NoCounter(std::string,std::ostream &) {}
    1.36 +    NoCounter(const char *,std::ostream &) {}
    1.37 +    NoCounter(std::string) {}
    1.38 +    NoCounter(const char *) {}
    1.39      NoCounter &operator++() { return *this; }
    1.40      int operator++(int) { return 0; }
    1.41      NoCounter &operator--() { return *this; }
    1.42      int operator--(int) { return 0; }
    1.43 -    NoCounter &operator+=(int c) { return *this;}
    1.44 -    NoCounter &operator-=(int c) { return *this;}
    1.45 -    void reset(int c=0) {}
    1.46 +    NoCounter &operator+=(int) { return *this;}
    1.47 +    NoCounter &operator-=(int) { return *this;}
    1.48 +    void reset(int) {}
    1.49 +    void reset() {}
    1.50      operator int() {return 0;}
    1.51    };
    1.52