# HG changeset patch
# User deba
# Date 1162305073 0
# Node ID 8c5c4b5ae31c7e32d89f52def67ebac7b0b107b4
# Parent  05ff57dc401d5df81b26a2e902300de2b1b88cbe
Bug fix

diff -r 05ff57dc401d -r 8c5c4b5ae31c lemon/random.h
--- a/lemon/random.h	Tue Oct 31 14:30:54 2006 +0000
+++ b/lemon/random.h	Tue Oct 31 14:31:13 2006 +0000
@@ -389,7 +389,6 @@
         rnd.initState(ws.begin(), ws.end());
       }
 
-      template <typename Iterator>
       static void init(RandomCore<Word>& rnd, Result seed) {
         rnd.initState(seed);
       }