diff --git a/Tools/CPUInfo/CPUInfo.pde b/Tools/CPUInfo/CPUInfo.pde
index d0192b01e2..40b295b310 100644
--- a/Tools/CPUInfo/CPUInfo.pde
+++ b/Tools/CPUInfo/CPUInfo.pde
@@ -6,7 +6,6 @@
 */
 
 #include <math.h>
-#include <AP_Math.h>
 #include <FastSerial.h>
 
 FastSerialPort0(Serial);