X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=frontend.h;h=1c32c35cf083bc527779c7abc9dc1fe7b3d3f28a;hb=ca6061cbffe88ff5eb2332e733e0a534b89cc5e7;hp=ec0a4eaa4789b7908de812a119a426721c41b440;hpb=4d04bc8a6c2d5e410d519b25164613c5e5c2d160;p=xboard.git

diff --git a/frontend.h b/frontend.h
index ec0a4ea..1c32c35 100644
--- a/frontend.h
+++ b/frontend.h
@@ -111,6 +111,7 @@ void EchoOff P((void));
 void Raw P((void));
 void Colorize P((ColorClass cc, int continuation));
 char *InterpretFileName P((char *name, char *dir));
+void DoSleep P((int n));
 
 char *UserName P((void));
 char *HostName P((void));