From 5135013aca51c67f136b2b9ba7ae03604638ace9 Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Fri, 28 Dec 2018 23:21:03 +0100
Subject: [PATCH] updated exompples teml
---
klee-examples/Cargo.toml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/klee-examples/Cargo.toml b/klee-examples/Cargo.toml
index 81189e5..2adcae5 100644
--- a/klee-examples/Cargo.toml
+++ b/klee-examples/Cargo.toml
@@ -4,8 +4,8 @@ version = "0.2.0"
authors = ["Per Lindgren <per.lindgren@ltu.se>", "Jorge Aparicio <jorge@japaric.io>"]
[dependencies]
-#klee = {git ="https://gitlab.henriktjader.com/pln/cargo-klee"}
-klee = {path =".."}
+klee = {git ="https://gitlab.henriktjader.com/pln/cargo-klee"}
+#klee = {path =".."}
panic-abort = "0.3.1"
--
GitLab