diff --git a/libafl_concolic/symcc_runtime/Cargo.toml b/libafl_concolic/symcc_runtime/Cargo.toml index ee55852921..a4d252b5a4 100644 --- a/libafl_concolic/symcc_runtime/Cargo.toml +++ b/libafl_concolic/symcc_runtime/Cargo.toml @@ -22,7 +22,7 @@ no-cpp-runtime = [] unchecked_unwrap = "3" ctor = "0.1" libc = "0.2" -libafl = {path = "../../libafl", version="0.7", default-features=false, features=["std"]} +libafl = {path = "../../libafl", version="0.8", default-features=false, features=["std"]} [build-dependencies] cmake = "0.1" @@ -30,4 +30,4 @@ bindgen = "0.59" regex = "1" lazy_static = "1.4" which = "4.1" -symcc_libafl = {path = "../symcc_libafl", version="0.7"} +symcc_libafl = {path = "../symcc_libafl", version="0.8"}