change #include "types.h" to <helper/types.h>
[fw/openocd] / src / helper / replacements.h
index a029674f7a05f22373dcca579ffb2083cbcd6ac1..2b3ea73a6fba0f50bee4a2836dc3ab34c1039f08 100644 (file)
@@ -211,7 +211,7 @@ static __inline int socket_select(int max_fd, fd_set *rfds, fd_set *wfds, fd_set
 
 #ifndef HAVE_ELF_H
 
-#include "types.h"
+#include <helper/types.h>
 
 typedef uint32_t       Elf32_Addr;
 typedef uint16_t       Elf32_Half;