mbed library sources. Supersedes mbed-src.

Fork of mbed-dev by mbed official

Revision:
175:af195413fb11
Parent:
174:b96e65c34a4d
--- a/drivers/SerialBase.h	Mon Oct 02 15:33:19 2017 +0100
+++ b/drivers/SerialBase.h	Wed Oct 11 12:45:49 2017 +0100
@@ -241,8 +241,7 @@
 
 protected:
     SerialBase(PinName tx, PinName rx, int baud);
-    virtual ~SerialBase() {
-    }
+    virtual ~SerialBase();
 
     int _base_getc();
     int _base_putc(int c);