From 8d2214fa6e5fe18c3a9c770eeb2eed3b4476204a Mon Sep 17 00:00:00 2001 From: Brendan McDonnell Date: Wed, 21 Mar 2018 10:17:51 -0400 Subject: [PATCH] linebreaks --- drivers/InterruptIn.h | 2 ++ 1 file changed, 2 insertions(+) diff --git a/drivers/InterruptIn.h b/drivers/InterruptIn.h index 921dc7e409..e226d31993 100644 --- a/drivers/InterruptIn.h +++ b/drivers/InterruptIn.h @@ -66,6 +66,7 @@ public: * @param pin InterruptIn pin to connect to */ InterruptIn(PinName pin); + /** Create an InterruptIn connected to the specified pin, * and the pin configured to the specified mode. * @@ -73,6 +74,7 @@ public: * @param mode The mode to set the pin to (PullUp/PullDown/etc.) */ InterruptIn(PinName pin, PinMode mode); + virtual ~InterruptIn(); /** Read the input, represented as 0 or 1 (int)