From b42bdd4a8b855c032b14fdd7a681c31a948ea5a8 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Tue, 12 Dec 2023 15:05:59 +0000
Subject: [PATCH] llvm-backend/src/main/native/llvm-backend: Set Version
 14c372e93bf6133b2c780868dcda8bb2abbe6d8b

---
 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 eeccaebaed7..14c372e93bf 160000
--- a/llvm-backend/src/main/native/llvm-backend
+++ b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit eeccaebaed784a40f17971bf9f1028b07c510537
+Subproject commit 14c372e93bf6133b2c780868dcda8bb2abbe6d8b