changes from Alessandro Scotti from 20051231

[xboard.git] / frontend.h

diff --git a/frontend.h b/frontend.h
index 732b316..ef79f23 100644 (file)
--- 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