From 0ffe1c7c026d3d36a88a1158b7add3f94b0c55af Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Mon, 14 Dec 2020 15:41:23 +0100
Subject: [PATCH] array.rs C exercise, clarification
---
cargo_klee_examples/Cargo.toml | 4 ----
1 file changed, 4 deletions(-)
diff --git a/cargo_klee_examples/Cargo.toml b/cargo_klee_examples/Cargo.toml
index af929d0..e0d04a0 100644
--- a/cargo_klee_examples/Cargo.toml
+++ b/cargo_klee_examples/Cargo.toml
@@ -22,10 +22,6 @@ version = "0.6.1"
[dependencies]
vcell = "0.1.2"
-[dependencies.cstr_core]
-version = "0.2.2"
-default-features = false
-
[patch.crates-io]
cortex-m = { git = "https://github.com/perlindgren/cortex-m.git", branch = "trustit" }
vcell = { git = "https://github.com/perlindgren/vcell.git", branch = "trustit" }
--
GitLab