Skip to content
Snippets Groups Projects
Commit 1a57da36 authored by Per Lindgren's avatar Per Lindgren
Browse files

update klee-sys dependency

parent a6769d0a
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
klee-examples/Cargo.toml
+ 1
− 1
View file @ 1a57da36
......@@ -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]
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment