Version rand, fix clap import

sarsko · Apr 10, 2024 · b5793e9 · b5793e9
1 parent 3075be6
commit b5793e9
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/CreuSAT/Cargo.toml b/CreuSAT/Cargo.toml
@@ -5,8 +5,8 @@ authors = ["Sarek Høverstad Skotåm <[email protected]>"]
 edition = "2021"
 
 [dependencies]
-clap = "4.5"
-rand = "*"
+clap = { version = "4.5", features = ["cargo"] }
+rand = "0.8.5"
 creusot-contracts = { git = "https://github.com/xldenis/creusot", version = "^0", rev = "1357cc97" }
 
 [dev-dependencies]

diff --git a/JigSAT/Cargo.toml b/JigSAT/Cargo.toml
@@ -5,7 +5,7 @@ authors = ["Sarek Høverstad Skotåm <[email protected]>"]
 edition = "2021"
 
 [dependencies]
-clap = "4.5"
+clap = { version = "4.5", features = ["cargo"] }
 log = "0.4"
 rand = "0.8.5"
 

diff --git a/Scratch/Cargo.toml b/Scratch/Cargo.toml
@@ -5,7 +5,7 @@ authors = ["Sarek Høverstad Skotåm <[email protected]>"]
 edition = "2021"
 
 [dependencies]
-clap = "4.5"
+clap = { version = "4.5", features = ["cargo"] }
 creusot-contracts = { git = "https://github.com/xldenis/creusot", version = "^0", rev = "1357cc97" }
 
 # This is just copied verbatim from CreuSAT.