fix naming

kkrt-labs · Nov 8, 2024 · d126ee8 · d126ee8
1 parent 773276f
commit d126ee8
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/crates/brainfuck_prover/src/components/instruction/mod.rs b/crates/brainfuck_prover/src/components/instruction/mod.rs
@@ -1 +1 @@
-pub mod instruction;
+pub mod table;
diff --git a/...src/components/instruction/instruction.rs → ...rover/src/components/instruction/table.rs b/...src/components/instruction/instruction.rs → ...rover/src/components/instruction/table.rs