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

---
 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 95801f2..801094d 100644
--- a/klee-examples/Cargo.toml
+++ b/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