fix

scroll-tech · Dec 9, 2024 · 79ab5bd · 79ab5bd
1 parent 3c38d5d
commit 79ab5bd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ceno_zkvm/Cargo.toml b/ceno_zkvm/Cargo.toml
@@ -39,10 +39,10 @@ tracing-subscriber.workspace = true
 
 clap = { version = "4.5", features = ["derive"] }
 generic_static = "0.2"
+proptest = "1.5.0"
 rand.workspace = true
 tempfile = "3.14"
 thread_local = "1.1"
-proptest = "1.5.0"
 
 [dev-dependencies]
 cfg-if.workspace = true