X-Git-Url: https://review.openocd.org/gitweb?a=blobdiff_plain;f=src%2Fopenocd.h;h=e43f156fcbf5a58219af15a9d78c037ee666d330;hb=50e79d60ce148f86bc93cc3248c3f6f0f81b3c3e;hp=a91d46f2f2568358f0ec402fc2366117fc04abcc;hpb=9b1f9810b090958bb4a669034173a01683c6e3e9;p=openocd.git

diff --git a/src/openocd.h b/src/openocd.h
index a91d46f2f2..e43f156fcb 100644
--- a/src/openocd.h
+++ b/src/openocd.h
@@ -31,11 +31,6 @@
  */
 int openocd_main(int argc, char *argv[]);
 
-/// used by the server_loop() function in src/server/server.c
-void openocd_sleep_prelude(void);
-/// used by the server_loop() function in src/server/server.c
-void openocd_sleep_postlude(void);
-
 /// provides a hard-coded command environment setup
 extern const char openocd_startup_tcl[];