doc: add missing ulink v1 to supported interfaces
[fw/openocd] / src / server / tcl_server.h
index d6c9e10b1cabd5356d8111a231fc2f6e4ffedec3..52cfc9783ffe9bb7cdfc02bd432f7834202213f3 100644 (file)
@@ -20,9 +20,9 @@
 #ifndef _TCL_SERVER_H_
 #define _TCL_SERVER_H_
 
-#include "server.h"
+#include <server/server.h>
 
 int tcl_init(void);
-int tcl_register_commands(command_context_t *cmd_ctx);
+int tcl_register_commands(struct command_context *cmd_ctx);
 
-#endif /* _TCL_SERVER_H_ */
+#endif /* _TCL_SERVER_H_ */