Extended MaximInterface

Dependents:   mbed_DS28EC20_GPIO

Revision:
1:d6de0a14c777
Parent:
0:f77ad7f72d04
Child:
3:f818ea5172ed
--- a/Platforms/mbed/Uart.hpp	Mon Nov 06 14:39:18 2017 -0600
+++ b/Platforms/mbed/Uart.hpp	Mon Nov 06 16:06:27 2017 -0600
@@ -33,7 +33,7 @@
 #ifndef MaximInterface_mbed_Uart
 #define MaximInterface_mbed_Uart
 
-#include <drivers/Serial.h>
+#include <Serial.h>
 #include <MaximInterface/Links/Uart.hpp>
 
 namespace MaximInterface {