proptest deps -> dev-deps

CQCL · May 16, 2024 · 871eb66 · 871eb66
1 parent 5f3d891
commit 871eb66
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/hugr/Cargo.toml b/hugr/Cargo.toml
@@ -52,9 +52,6 @@ delegate = "0.12.0"
 paste = "1.0"
 strum = "0.26.1"
 strum_macros = "0.26.1"
-proptest = { version =  "1.4.0" }
-proptest-derive = { version =  "0.4.0"}
-regex-syntax = { version =  "0.8.3"}
 
 [dev-dependencies]
 criterion = { version = "0.5.1", features = ["html_reports"] }
@@ -64,6 +61,9 @@ urlencoding = "2.1.2"
 cool_asserts = "2.0.3"
 insta = { workspace = true, features = ["yaml"] }
 jsonschema = "0.18.0"
+proptest = { version =  "1.4.0" }
+proptest-derive = { version =  "0.4.0"}
+regex-syntax = { version =  "0.8.3"}
 
 [[bench]]
 name = "bench_main"