X-Git-Url: https://review.openocd.org/gitweb?p=openocd.git;a=blobdiff_plain;f=src%2Fopenocd.h;h=e43f156fcbf5a58219af15a9d78c037ee666d330;hp=a91d46f2f2568358f0ec402fc2366117fc04abcc;hb=34654359a918edae10ca7dd7ebc0a487fdf609a4;hpb=62fbb0f545213f8a813819f319e20fee8a859319;ds=sidebyside

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[];