From da3833f8d044e466301177886488c22a40e6785f Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Wed, 9 Dec 2020 16:33:44 +0100
Subject: [PATCH] update klee-sys dependency

---
 cargo_klee_examples/Cargo.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cargo_klee_examples/Cargo.toml b/cargo_klee_examples/Cargo.toml
index 259380e..c095282 100644
--- a/cargo_klee_examples/Cargo.toml
+++ b/cargo_klee_examples/Cargo.toml
@@ -5,7 +5,7 @@ authors = ["pln <Per Lindgren>"]
 edition = "2018"
 
 [dependencies.klee-sys]
-git = "https://gitlab.henriktjader.com/KLEE/klee-sys.git"
+git = "https://gitlab.henriktjader.com/pln/klee-sys.git"
 version = "0.2.0"
 
 [dependencies.panic-klee]
-- 
GitLab