From 0509217421b0e4a79199493ec1d68cbc1af1eead Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Mon, 24 Dec 2018 22:08:24 +0100
Subject: [PATCH] klee-analysis propagation

---
 Cargo.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Cargo.toml b/Cargo.toml
index 6660f9a..1fbc16f 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
-- 
GitLab