From d0ed6ff76210897937fac9917d498f7719456cda Mon Sep 17 00:00:00 2001
From: Per <Per Lindgren>
Date: Mon, 30 Dec 2019 16:59:50 +0100
Subject: [PATCH] remove feature klee-analysis

---
 Cargo.toml | 2 --
 1 file changed, 2 deletions(-)

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