1.1 --- a/lemon/random.h	Tue Oct 31 14:30:54 2006 +0000
     1.2 +++ b/lemon/random.h	Tue Oct 31 14:31:13 2006 +0000
     1.3 @@ -389,7 +389,6 @@
     1.4          rnd.initState(ws.begin(), ws.end());
     1.5        }
     1.6  
     1.7 -      template <typename Iterator>
     1.8        static void init(RandomCore<Word>& rnd, Result seed) {
     1.9          rnd.initState(seed);
    1.10        }