--- 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