From cbab0205bd093a2170aec4290d195f539715c9ad Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Thu, 23 Nov 2023 16:05:29 +0000
Subject: [PATCH] llvm-backend/src/main/native/llvm-backend: Set Version
 a4cf502c5613797d07aebc3e9163108df22480a0

---
 llvm-backend/src/main/native/llvm-backend | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend
index 7beccf74d12..a4cf502c561 160000
--- a/llvm-backend/src/main/native/llvm-backend
+++ b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit 7beccf74d125395f073fdaaba9b5c70c2b9b8ef3
+Subproject commit a4cf502c5613797d07aebc3e9163108df22480a0