From 6fc7b964748dab3161292fe7470aeadc8bf6e646 Mon Sep 17 00:00:00 2001
From: Emil Fresk <emil.fresk@gmail.com>
Date: Thu, 22 Apr 2021 17:39:07 +0200
Subject: use super::xx now works with monotonics

---
 macros/src/codegen.rs | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'macros/src/codegen.rs')

diff --git a/macros/src/codegen.rs b/macros/src/codegen.rs
index e0e09bbe..1096f6f1 100644
--- a/macros/src/codegen.rs
+++ b/macros/src/codegen.rs
@@ -163,6 +163,11 @@ pub fn app(app: &App, analysis: &Analysis, extra: &Extra) -> TokenStream2 {
 
             /// Holds static methods for each monotonic.
             pub mod monotonics {
+                #(
+                    #[allow(unused_imports)]
+                    #user_imports
+                )*
+
                 #(#monotonic_parts)*
             }
         )
-- 
cgit v1.2.3