From db8b3824d905c7c98987af9613470994897ba793 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 20 Nov 2023 21:47:33 +0000
Subject: [PATCH] llvm-backend/src/main/native/llvm-backend: Set Version
 1c7b20173b4b7d9d5c6ce565f4c8f7079d80ac6b

---
 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 92e3e6938fa..1c7b20173b4 160000
--- a/llvm-backend/src/main/native/llvm-backend
+++ b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit 92e3e6938fa560e7a66a07f40e005732b5938d39
+Subproject commit 1c7b20173b4b7d9d5c6ce565f4c8f7079d80ac6b