X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=frontend.h;h=ef79f23fecb51376f2d7905e79c398b320cb5339;hb=2380bd9a886c088ba6040d99932c20cdf080fbbb;hp=732b316f60f81a9a1191412c98d35159da420610;hpb=3076655d51195e09429c2abde2763e917d3a67a9;p=xboard.git

diff --git a/frontend.h b/frontend.h
index 732b316..ef79f23 100644
--- a/frontend.h
+++ b/frontend.h
@@ -164,10 +164,11 @@ void ClearPremoveHighlights P((void));
 void ShutDownFrontEnd P((void));
 void BoardToTop P((void));
 void AnimateMove P((Board board, int fromX, int fromY, int toX, int toY));
-void HistorySet P((char movelist[][2*MOVE_LEN],
-		   int first, int last, int current));
+void HistorySet P((char movelist[][2*MOVE_LEN], int first, int last, int current));
 void FreezeUI P((void));
 void ThawUI P((void));
 extern char *programName;
 
+void SetProgramStats P(( int which, int depth, unsigned long nodes, int score, int time, char * pv )); /* [AS] */
+
 #endif