diff --git a/Cargo.toml b/Cargo.toml
index b5a2bc0788db997bbd88c6b46d0f60469cca8c2c..a6d807c3fc0c7241f000539250893d0476e0476d 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -7,5 +7,3 @@ edition = "2018"
 [dependencies]
 cstr_core = "0.1.2"
 
-[features]
-klee-analysis = []