mark unused to 'use new_var;' (#213)

Author: semiexp

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;