diff --git a/cargo_klee_examples/Cargo.toml b/cargo_klee_examples/Cargo.toml index 259380e8da2f3f27f5cdcd16f3befb544cb4398d..c095282ba045e1842fbc9c92aff81c8a871ec560 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]