diff --git a/crates/verifier/src/lib.rs b/crates/verifier/src/lib.rs
index e9aecda..b9f04fa 100644
--- a/crates/verifier/src/lib.rs
+++ b/crates/verifier/src/lib.rs
@@ -10,7 +10,7 @@ use z3::{
 
 mod ast;
 mod executor;
-mod resolver;
+mod transformer;
 
 /// Create config for the Z3 context.
 pub fn z3_cfg() -> Config {
diff --git a/crates/verifier/src/resolver.rs b/crates/verifier/src/transformer.rs
similarity index 100%
rename from crates/verifier/src/resolver.rs
rename to crates/verifier/src/transformer.rs