X-Git-Url: http://winboard.nl/cgi-bin?p=xboard.git;a=blobdiff_plain;f=engineoutput.h;h=21bb6d142f8148241e55826ff567e5c20d8688ba;hp=19100b39e871a6eff6cb3049f4d62bdb4e7dfab0;hb=HEAD;hpb=4011e8678d85310eedf19fd00aa5d96a9a60770a

diff --git a/engineoutput.h b/engineoutput.h
index 19100b3..21bb6d1 100644
--- a/engineoutput.h
+++ b/engineoutput.h
@@ -1,7 +1,8 @@
 /*
  * wengineo.h -- Clipboard routines for WinBoard
  *
- * Copyright 2000, 2009, 2010, 2011, 2012, 2013, 2014, 2015 Free Software Foundation, Inc.
+ * Copyright 2000, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016 Free
+ * Software Foundation, Inc.
  *
  * Enhancements Copyright 2005 Alessandro Scotti
  *
@@ -55,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 );