From 303e964a1065fc8a1ef5e76ae8bffb27bcf0ef5e Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Tue, 26 May 2020 22:16:31 +0200
Subject: [PATCH] touch src/lib.rs

---
 src/lib.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/lib.rs b/src/lib.rs
index 614ba853af..98dd615712 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -164,6 +164,7 @@ pub trait Monotonic {
 /// A marker trait that indicates that it is correct to use this type in multi-core context
 pub trait MultiCore {}
 
+
 /// Sets the given `interrupt` as pending
 ///
 /// This is a convenience function around