From cd2eb8258b23031a4423ba2c2b824ecfc2a8ab0d Mon Sep 17 00:00:00 2001
From: Bogdan Opanchuk <bogdan@opanchuk.net>
Date: Thu, 25 Mar 2021 20:31:29 -0700
Subject: [PATCH] Trying to fix CI problem

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

diff --git a/umbral-pre/src/lib.rs b/umbral-pre/src/lib.rs
index 0ca0e3f3..8f55dc7e 100644
--- a/umbral-pre/src/lib.rs
+++ b/umbral-pre/src/lib.rs
@@ -91,6 +91,7 @@
 
 extern crate alloc;
 
+#[allow(dead_code)] // for some reason `macro_use` is marked as unused in CI
 #[macro_use]
 extern crate typenum;