diff --git a/Cargo.toml b/Cargo.toml index 6660f9a47b9723851aa7388a59bddab01a924736..1fbc16f94c8215f5586207e2c228f059f114109f 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -22,4 +22,4 @@ git = "https://gitlab.henriktjader.com/pln/cargo-klee.git" optional = true [features] -klee-analysis = ["klee"] \ No newline at end of file +klee-analysis = ["klee", "klee/klee-analysis"] \ No newline at end of file