diff --git a/klee-examples/Cargo.toml b/klee-examples/Cargo.toml index 95801f2729fd4efa5e88f68507b1e6158570dfd9..801094d815517351606e5737b719853d8e9d5a52 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]