X-Git-Url: https://review.openocd.org/gitweb?p=openocd.git;a=blobdiff_plain;f=src%2Fhelper%2Foptions.c;h=bbd071fd8191c96c1e88e09718b6c8fd7763ac85;hp=5351e825077e42d2e70740881c955bd5e9d8ee94;hb=5479ed42ba30dcc692c696cf1d215278e03ce0be;hpb=c467c3ddd5a5709685d3dc8b49d7e00554f8ced2

diff --git a/src/helper/options.c b/src/helper/options.c
index 5351e82507..bbd071fd81 100644
--- a/src/helper/options.c
+++ b/src/helper/options.c
@@ -26,8 +26,8 @@
 #endif
 
 #include "configuration.h"
-/* @todo the inclusion of server.h here is a layering violation */
-#include <server/server.h>
+#include "log.h"
+#include "command.h"
 
 #include <getopt.h>