diff --git a/third_party/libtock-drivers/src/lib.rs b/third_party/libtock-drivers/src/lib.rs
index ec8a2d7..bf62d05 100644
--- a/third_party/libtock-drivers/src/lib.rs
+++ b/third_party/libtock-drivers/src/lib.rs
@@ -3,7 +3,6 @@
 pub mod buttons;
 pub mod console;
 pub mod led;
-pub mod nfc;
 pub mod result;
 pub mod rng;
 pub mod timer;