variation-support patch

[xboard.git] / frontend.h

diff --git a/frontend.h b/frontend.h
index ed92687..865fc48 100644 (file)
--- a/frontend.h
+++ b/frontend.h
@@ -185,6 +185,8 @@ void ThawUI P((void));
 extern char *programName;
 extern int commentUp;
 
+void GreyRevert P((Boolean grey));
+
 typedef struct FrontEndProgramStats_TAG {
     int which;
     int depth;