Dependencies:   mbed

Revision:
1:4683702d7ad8
Parent:
0:2cb59ea20ace
--- a/PlatformGPIO.h	Sun Dec 04 03:38:44 2016 +0000
+++ b/PlatformGPIO.h	Sun Jan 22 04:10:11 2017 +0000
@@ -19,5 +19,6 @@
 
 void digitalWrite(int pin, unsigned char value);
 unsigned char digitalRead(int pin);
+void setIntEnable(int x);
 
 #endif
\ No newline at end of file