blob: a9064c9c917105caf8c3a0b088e6669c53d95caa (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- radius/Cargo.toml
+++ radius/Cargo.toml
@@ -18,8 +18,5 @@
rand = "0.8.4"
colored = "2.0.0"
-[features]
-default = ["boolector/vendor-lgl"]
-
[package.metadata.docs.rs]
no-default-features = true
|