X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=gnushogi%2Fsearch.c;h=c1d8fd99eb062b75ac93ff394ca43e71164fe118;hb=fe6e10662390b3ad9642d6f5466e61c3a4faebc2;hp=1491057231e2cbb93ee27875a7a20fb6f8a9b1bd;hpb=4a9acd2e4d21586f2af629ec44cd78c237dcd702;p=gnushogi.git

diff --git a/gnushogi/search.c b/gnushogi/search.c
index 1491057..c1d8fd9 100644
--- a/gnushogi/search.c
+++ b/gnushogi/search.c
@@ -33,10 +33,6 @@
 #include <poll.h>
 #include <unistd.h>
 
-#if !defined OLDTIME && defined HAVE_GETTIMEOFDAY
-double pow(double x, double y);
-#endif
-
 short background = 0;
 static short DepthBeyond;
 unsigned short PrVar[MAXDEPTH];