From 25d87b838b9a78875467ce9f250cc341b7c8bec3 Mon Sep 17 00:00:00 2001
From: "Jonathan Pallant (42 Technology)" <jonathan.pallant@42technology.com>
Date: Tue, 21 Sep 2021 12:42:34 +0100
Subject: [PATCH] Good ol' clippy.

---
 boards/pico/examples/pico_usb_serial_interrupt.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/boards/pico/examples/pico_usb_serial_interrupt.rs b/boards/pico/examples/pico_usb_serial_interrupt.rs
index 559d8a9..bc9747f 100644
--- a/boards/pico/examples/pico_usb_serial_interrupt.rs
+++ b/boards/pico/examples/pico_usb_serial_interrupt.rs
@@ -179,7 +179,7 @@ unsafe fn USBCTRL_IRQ() {
     let serial = USB_SERIAL.as_mut().unwrap();
 
     // Say hello exactly once on start-up
-    if SAID_HELLO.load(Ordering::Relaxed) == false {
+    if !SAID_HELLO.load(Ordering::Relaxed) {
         SAID_HELLO.store(true, Ordering::Relaxed);
         let _ = serial.write(b"Hello, World!\r\n");
     }