diff -r a68d4f93b1fb -r c72636dcf0bd lemon/counter.h
--- a/lemon/counter.h	Wed Dec 07 15:40:27 2005 +0000
+++ b/lemon/counter.h	Wed Dec 07 15:43:44 2005 +0000
@@ -71,9 +71,13 @@
     typedef _SubNoCounter<_SubNoCounter<P> > SubNoCounter;
   
     _SubNoCounter(P &parent) :_parent(parent) {}
-    _SubNoCounter(P &parent,std::string title,std::ostream &os=std::cerr) 
+    _SubNoCounter(P &parent,std::string,std::ostream &) 
       :_parent(parent) {}
-    _SubNoCounter(P &parent,const char *title,std::ostream &os=std::cerr)
+    _SubNoCounter(P &parent,std::string) 
+      :_parent(parent) {}
+    _SubNoCounter(P &parent,const char *,std::ostream &)
+      :_parent(parent) {}
+    _SubNoCounter(P &parent,const char *)
       :_parent(parent) {}
     ~_SubNoCounter() {}
     _SubNoCounter &operator++() { ++_parent; return *this;}
@@ -82,7 +86,8 @@
     int operator--(int) { _parent--; return 0;}
     _SubNoCounter &operator+=(int c) { _parent+=c; return *this;}
     _SubNoCounter &operator-=(int c) { _parent-=c; return *this;}
-    void reset(int c=0) {}
+    void reset(int) {}
+    void reset() {}
     operator int() {return 0;}
   };
 
@@ -154,15 +159,18 @@
     typedef _SubNoCounter<NoCounter> SubNoCounter;
 
     NoCounter() {}
-    NoCounter(std::string title,std::ostream &os=std::cerr) {}
-    NoCounter(const char *title,std::ostream &os=std::cerr) {}
+    NoCounter(std::string,std::ostream &) {}
+    NoCounter(const char *,std::ostream &) {}
+    NoCounter(std::string) {}
+    NoCounter(const char *) {}
     NoCounter &operator++() { return *this; }
     int operator++(int) { return 0; }
     NoCounter &operator--() { return *this; }
     int operator--(int) { return 0; }
-    NoCounter &operator+=(int c) { return *this;}
-    NoCounter &operator-=(int c) { return *this;}
-    void reset(int c=0) {}
+    NoCounter &operator+=(int) { return *this;}
+    NoCounter &operator-=(int) { return *this;}
+    void reset(int) {}
+    void reset() {}
     operator int() {return 0;}
   };