rename module

SkymanOne · Mar 28, 2024 · 454b7e3 · 454b7e3
1 parent d60a168
commit 454b7e3
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git 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 → crates/verifier/src/transformer.rs b/crates/verifier/src/resolver.rs → crates/verifier/src/transformer.rs