Remove usage of extern crate.

z3-sys/tests/lib.rs

@@ -1,5 +1,3 @@
-extern crate z3_sys;
-
 use std::ffi::{CStr, CString};
 use z3_sys::*;
 

z3/src/ast.rs

@@ -1,5 +1,6 @@
 //! Abstract syntax tree (AST).
 
+use log::debug;
 use std::borrow::Borrow;
 use std::cmp::{Eq, PartialEq};
 use std::convert::{TryFrom, TryInto};

z3/src/config.rs

@@ -1,3 +1,4 @@
+use log::debug;
 use std::ffi::CString;
 
 use z3_sys::*;

z3/src/context.rs

@@ -1,3 +1,4 @@
+use log::debug;
 use std::ffi::CString;
 
 use z3_sys::*;

z3/src/lib.rs

@@ -6,13 +6,6 @@
 #![warn(clippy::doc_markdown)]
 #![deny(missing_debug_implementations)]
 
-#[macro_use]
-extern crate log;
-
-extern crate z3_sys;
-
-extern crate num;
-
 use std::ffi::CString;
 use z3_sys::*;
 pub use z3_sys::{AstKind, GoalPrec, SortKind};

z3/src/solver.rs

@@ -1,3 +1,4 @@
+use log::debug;
 use std::ffi::{CStr, CString};
 use std::fmt;
 

z3/tests/lib.rs

@@ -1,15 +1,10 @@
-extern crate env_logger;
-#[macro_use]
-extern crate log;
-
-extern crate z3;
+use log::info;
 use std::convert::TryInto;
 use std::ops::Add;
 use std::time::Duration;
 use z3::ast::{Array, Ast, Bool, Int, BV};
 use z3::*;
 
-extern crate num;
 use num::{bigint::BigInt, rational::BigRational};
 use std::str::FromStr;
 

z3/tests/objectives.rs

@@ -1,4 +1,3 @@
-extern crate z3;
 use z3::ast::Ast;
 use z3::*;
 

z3/tests/ops.rs

@@ -1,5 +1,3 @@
-extern crate z3;
-
 use z3::{
     ast,
     ast::{Array, Ast, AstKind, Bool, Dynamic, Float, Int, Real, BV},

z3/tests/semver_tests.rs

@@ -1,9 +1,4 @@
-extern crate env_logger;
-#[macro_use]
-extern crate log;
-extern crate semver;
-extern crate z3;
-
+use log::info;
 use semver::{Version, VersionReq};
 use std::collections::HashMap;
 use z3::ast::Ast;