X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=frontend.h;h=853c66574a3ed35dee202f9b2f911514c0121c3b;hb=29df666d997ad990de5376c962b154b26eb73f2f;hp=7fad00f99d735880ba03f056d400170393794377;hpb=1787d72dbd0f3ff703050df00dc6ebb5eebe14d7;p=xboard.git

diff --git a/frontend.h b/frontend.h
index 7fad00f..853c665 100644
--- a/frontend.h
+++ b/frontend.h
@@ -1,6 +1,6 @@
 /*
  * frontend.h -- Interface exported by all XBoard front ends
- * $Id$
+ * $Id: frontend.h,v 2.2 2003/11/06 07:22:14 mann Exp $
  *
  * Copyright 1991 by Digital Equipment Corporation, Maynard, Massachusetts.
  * Enhancements Copyright 1992-95 Free Software Foundation, Inc.
@@ -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, char * hint )); /* [AS] */
+
 #endif