X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=engineoutput.c;h=07524284c4d401d2cc6ff596d42d9e728bc3d2c4;hb=003ab519c36430f6df51e0e6e2aa528476894161;hp=aa7cc49036700dce0fa95c3dbaef8e1cfed617b6;hpb=1dd394828e09f931b000c93f872814082dd8e325;p=xboard.git

diff --git a/engineoutput.c b/engineoutput.c
index aa7cc49..0752428 100644
--- a/engineoutput.c
+++ b/engineoutput.c
@@ -124,7 +124,7 @@ MakeEngineOutputTitle ()
 
 // back end, due to front-end wrapper for SetWindowText, and new SetIcon arguments
 void
-SetEngineState (int which, int state, char * state_data)
+SetEngineState (int which, enum ENGINE_STATE state, char * state_data)
 {
     int x_which = 1 - which;