Fix: Error while reading from USB endpoint
[fw/openocd] / src / jtag / drivers / rlink.h
index b53be5ceb62c68421fffea9d21811695d82d8c44..9d1099c8474d81c559f9da53eb75bad5b582a252 100644 (file)
@@ -18,8 +18,6 @@
  *   59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.             *
  ***************************************************************************/
 
-#include "types.h"
-
 struct rlink_speed_table {
        uint8_t const *dtc;
        uint16_t dtc_size;