X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=backend.c;h=f53847761a14c6d227b6e3bc79465a43df91741a;hb=239acdb2f77698254f921427bf8b82a9923a3dfe;hp=26578086eefc8857d02a46e73439134aeb9e03c6;hpb=af3d528cf16eae800ff7f0b8b62f77ced7493412;p=xboard.git

diff --git a/backend.c b/backend.c
index 2657808..f538477 100644
--- a/backend.c
+++ b/backend.c
@@ -387,7 +387,7 @@ u64ToDouble (u64 value)
    by this function.
  */
 int
-PosFlags (index)
+PosFlags (int index)
 {
   int flags = F_ALL_CASTLE_OK;
   if ((index % 2) == 0) flags |= F_WHITE_ON_MOVE;
@@ -1982,7 +1982,7 @@ read_from_player (InputSourceRef isr, VOIDSTAR closure, char *message, int count
 	DisplayFatalError(_("Error reading from keyboard"), error, 1);
     } else if (gotEof++ > 0) {
 	RemoveInputSource(isr);
-	DisplayFatalError(_("Got end of file from keyboard"), 0, 0);
+	DisplayFatalError(_("Got end of file from keyboard"), 0, 666); // [HGM] 666 is kludge to alert front end
     }
 }