From 8f507a888c90aecb2a798df20d34660d439ef11b Mon Sep 17 00:00:00 2001
From: jumormt <jumormt@163.com>
Date: Mon, 5 Feb 2024 14:18:08 +1100
Subject: [PATCH] sync with SVF

---
 env.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/env.sh b/env.sh
index 2b0fae2..420870e 100755
--- a/env.sh
+++ b/env.sh
@@ -5,7 +5,7 @@ sysOS=`uname -s`
 MajorLLVMVer=16
 LLVMVer=${MajorLLVMVer}.0.0
 
-LLVMHome="${LLVMVer}.obj"
+LLVMHome="LLVM-${LLVMVer}.obj"
 Z3Home="z3.obj"
 install_path=`npm root`