X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=engineoutput.h;fp=engineoutput.h;h=21bb6d142f8148241e55826ff567e5c20d8688ba;hb=b7bf5d068c672d4356bc94711364c03e3d83d6e9;hp=b3015a5498f09f6dba42f5c386bc7c13974d121b;hpb=f856eb7ac5fbeec648f7fd27013905f0a5a26616;p=xboard.git

diff --git a/engineoutput.h b/engineoutput.h
index b3015a5..21bb6d1 100644
--- a/engineoutput.h
+++ b/engineoutput.h
@@ -56,7 +56,7 @@ enum ENGINE_STATE { STATE_UNKNOWN, STATE_THINKING, STATE_IDLE, STATE_PONDERING,
 
 extern int  windowMode;
 extern char exclusionHeader[];
-extern int highTextStart[2], highTextEnd[2];
+extern int highTextStart[2], highTextEnd[2], endPV;
 
 // back-end called by front-end
 void SetEngineState( int which, enum ENGINE_STATE state, char * state_data );