fix: update target name

succinctlabs · Sep 19, 2024 · 974d720 · 974d720
1 parent 3d3d4a8
commit 974d720
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/.../spec/targets/riscv32im_risc0_zkvm_elf.rs → ...ec/targets/riscv32im_succinct_zkvm_elf.rs b/.../spec/targets/riscv32im_risc0_zkvm_elf.rs → ...ec/targets/riscv32im_succinct_zkvm_elf.rs
diff --git a/...tform-support/riscv32im-risc0-zkvm-elf.md → ...rm-support/riscv32im-succinct-zkvm-elf.md b/...tform-support/riscv32im-risc0-zkvm-elf.md → ...rm-support/riscv32im-succinct-zkvm-elf.md
@@ -1,4 +1,4 @@
-# `riscv32im-risc0-zkvm-elf`
+# `riscv32im-succinct-zkvm-elf`
 
 **Tier: 3**