Remove z3 importa

jsalzbergedu · Apr 14, 2022 · bb185d4 · bb185d4
1 parent 38a8774
commit bb185d4
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/server/src/abstract_interpreter/abstract_interpreter.rs b/server/src/abstract_interpreter/abstract_interpreter.rs
@@ -6,9 +6,6 @@ use std::hash::Hash;
 use std::hash::Hasher;
 use std::ops::Add;
 use std::ops::Sub;
-use z3::Sort;
-use z3::ast::Ast;
-use z3::{Config, Context, Solver};
 
 use crate::ast::Statement;
 use crate::ast::Program;