Add necessary include

egraphs-good · Dec 28, 2023 · e938eec · e938eec
1 parent 326b87e
commit e938eec
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -14,6 +14,7 @@ indexmap = "2.0.0"
 log = "0.4.19"
 ordered-float = "3"
 pico-args = { version = "0.5.0", features = ["eq-separator"] }
+rand = "0.8.5"
 
 anyhow = "1.0.71"
 coin_cbc = { version = "0.1.6", optional = true }