Eliminate MixedCaps symbol from public JTAG TAP API:

[fw/openocd] / src / flash / avrf.h

diff --git a/src/flash/avrf.h b/src/flash/avrf.h
index 6c5868c4d74cbb550b4c93a8959ca71356ddc0bd..12ef8bdb659ca9c63b6b6221d0822547dfbd9d34 100644 (file)
--- a/src/flash/avrf.h
+++ b/src/flash/avrf.h
@@ -20,6 +20,8 @@
 #ifndef AVRF_H
 #define AVRF_H
 
+#include "types.h"
+
 typedef struct avrf_type_s
 {
        char name[15];