From 38e8c6264dfdcebef568c10ec2911757cfa5be5c Mon Sep 17 00:00:00 2001 From: KtorZ Date: Sat, 17 Aug 2024 14:56:56 +0200 Subject: [PATCH] Do not trigger warnings for exported configurations. --- crates/aiken-project/src/lib.rs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/crates/aiken-project/src/lib.rs b/crates/aiken-project/src/lib.rs index c356e093..2e67c46a 100644 --- a/crates/aiken-project/src/lib.rs +++ b/crates/aiken-project/src/lib.rs @@ -812,7 +812,9 @@ where &mut self.data_types, )?; - if our_modules.contains(checked_module.name.as_str()) { + if our_modules.contains(checked_module.name.as_str()) + && checked_module.name.as_str() != ast::CONFIG_MODULE + { self.warnings.extend(warnings); }