From d68500c0e52fd16f344727f4ff5ca5d8f1a08c10 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Fri, 17 Nov 2023 21:45:10 +0000
Subject: [PATCH] llvm-backend/src/main/native/llvm-backend: Set Version
 7f31625114f24c09d7a73f52f5355477a5db7a2d

---
 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 38e680e4e04..7f31625114f 160000
--- a/llvm-backend/src/main/native/llvm-backend
+++ b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit 38e680e4e041b2553caea01e3f7be163910dd8c5
+Subproject commit 7f31625114f24c09d7a73f52f5355477a5db7a2d