From 17e39124f57298996757218d6405eb1018917706 Mon Sep 17 00:00:00 2001 From: Per <Per Lindgren> Date: Tue, 31 Dec 2019 01:29:29 +0100 Subject: [PATCH] remove feature klee-analysis --- Cargo.toml | 1 - 1 file changed, 1 deletion(-) diff --git a/Cargo.toml b/Cargo.toml index a6d807c..2cc9906 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -6,4 +6,3 @@ edition = "2018" [dependencies] cstr_core = "0.1.2" - -- GitLab