X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=src%2Fopenocd.h;h=e43f156fcbf5a58219af15a9d78c037ee666d330;hb=ffe969898fae4e2beeeea403d411bf221d1fab79;hp=a91d46f2f2568358f0ec402fc2366117fc04abcc;hpb=9b1f9810b090958bb4a669034173a01683c6e3e9;p=fw%2Fopenocd

diff --git a/src/openocd.h b/src/openocd.h
index a91d46f2f..e43f156fc 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[];