From 3c0c95e3821eda676c051e330d9cfdb46d046a85 Mon Sep 17 00:00:00 2001
From: Dongjia Zhang <tokazerkje@outlook.com>
Date: Tue, 12 Jul 2022 10:31:56 +0200
Subject: [PATCH] upd (#697)

---
 libafl_concolic/symcc_runtime/Cargo.toml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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"}