From 4d9ba0c7c6e497836a25aa91933c613c13c0c6f4 Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Wed, 12 Dec 2018 21:49:48 +0100
Subject: [PATCH] working
---
klee-examples/Cargo.toml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/klee-examples/Cargo.toml b/klee-examples/Cargo.toml
index d9004fe..deb6e1f 100644
--- a/klee-examples/Cargo.toml
+++ b/klee-examples/Cargo.toml
@@ -11,7 +11,7 @@ cortex-m = { path = "../cortex-m" }
[dependencies.cortex-m]
version = "0.5.8"
-features = ["inline-asm", "klee_analysis"]
+features = ["inline-asm", "klee-analysis"]
[profile.release]
--
GitLab