From 454b7e3e6873f97163d6826ba5dab4000f2d6a71 Mon Sep 17 00:00:00 2001
From: German Nikolishin <german.nikolishin@gmail.com>
Date: Thu, 28 Mar 2024 13:25:42 +0000
Subject: [PATCH] rename module

---
 crates/verifier/src/lib.rs                          | 2 +-
 crates/verifier/src/{resolver.rs => transformer.rs} | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename crates/verifier/src/{resolver.rs => transformer.rs} (100%)

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