From f042807d435be79a713713ef19278c22b80d9766 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Mon, 5 Jul 2021 19:54:52 +0200
Subject: [PATCH] generate error if "rt" feature is not enabled

---
 macros/src/codegen/util.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/macros/src/codegen/util.rs b/macros/src/codegen/util.rs
index 68aca5d1f3..c569bed11d 100644
--- a/macros/src/codegen/util.rs
+++ b/macros/src/codegen/util.rs
@@ -109,7 +109,7 @@ pub fn instants_ident(task: &Ident, sender: Core) -> Ident {
 pub fn interrupt_ident(core: Core, cores: u8) -> Ident {
     let span = Span::call_site();
     if cores == 1 {
-        Ident::new("Interrupt", span)
+        Ident::new("interrupt", span)
     } else {
         Ident::new(&format!("Interrupt_{}", core), span)
     }