diff --git a/third_party/libtock-drivers/src/leds.rs b/third_party/libtock-drivers/src/led.rs
similarity index 100%
rename from third_party/libtock-drivers/src/leds.rs
rename to third_party/libtock-drivers/src/led.rs