water flow sensor, k64f https://www.adafruit.com/product/828

Revision:
1:f9f5db2931e9
Parent:
0:9d07fa1b15a7
--- a/main.cpp	Thu Jan 17 11:12:32 2019 +0000
+++ b/main.cpp	Thu Jan 17 14:08:21 2019 +0000
@@ -1,7 +1,7 @@
 #include "mbed.h"
  
 DigitalOut myled(LED1);
-InterruptIn sensor(PTB10-§);
+InterruptIn sensor(PTB10);
  
 Serial pc(USBTX, USBRX);