1 files changed, 0 insertions, 20 deletions
diff --git a/lib/arduino-stub.cpp b/lib/arduino-stub.cpp
index 39bd9cc..201962f 100644
--- a/lib/arduino-stub.cpp
+++ b/lib/arduino-stub.cpp
@@ -22,7 +22,6 @@
 
 #define ARDUINO_MAIN
 #include "Arduino.h"
-#include "stdlib.h"
 
 int atexit(void (* /*func*/ )()) { return 0; }
 
@@ -1042,22 +1041,3 @@ long map(long x, long in_min, long in_max, long out_min, long out_max)
 
 unsigned int makeWord(unsigned int w) { return w; }
 unsigned int makeWord(unsigned char h, unsigned char l) { return (h << 8) | l; }
-
-
-// ******************
-// this is from Arduino's abi.cpp
-
-extern "C" void __cxa_pure_virtual(void) __attribute__ ((__noreturn__));
-extern "C" void __cxa_deleted_virtual(void) __attribute__ ((__noreturn__));
-
-void __cxa_pure_virtual(void) {
-  // We might want to write some diagnostics to uart in this case
-  //std::terminate();
-  abort();
-}
-
-void __cxa_deleted_virtual(void) {
-  // We might want to write some diagnostics to uart in this case
-  //std::terminate();
-  abort();
-}