X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=util.h;h=3855a8227a9dfc801a8c49f0cb091e1e30f57f42;hb=60900035e6d0309705f2326ee50edc52386305e9;hp=269310dd9009c9719d0e1f7166871adb12e6934b;hpb=471c4c42e267be298ce20951d5a352acd6b55190;p=polyglot.git

diff --git a/util.h b/util.h
index 269310d..3855a82 100644
--- a/util.h
+++ b/util.h
@@ -185,6 +185,8 @@ extern void my_quote                (char *out,
 				     const char *in, 
 				     const char *special);
 
+extern void my_sleep                (int msec);
+
 #endif // !defined UTIL_H
 
 // end of util.h