diff --git a/cspuz_core/src/encoder/mod.rs b/cspuz_core/src/encoder/mod.rs
index 459200fc..3b47f664 100644
--- a/cspuz_core/src/encoder/mod.rs
+++ b/cspuz_core/src/encoder/mod.rs
@@ -199,6 +199,7 @@ macro_rules! new_vars_as_lits {
     };
 }
 
+#[allow(unused)]
 use new_var;
 #[allow(unused)]
 use new_vars_as_lits;