From 874d10f42fa80a99d156d79e5b400c2fa23c3d67 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Thu, 19 Oct 2023 10:30:22 +0000
Subject: [PATCH] llvm-backend/src/main/native/llvm-backend: Set Version
 42e11681495fcef32204620f90d58a254b65fc37

---
 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 ec3db0ef74b..42e11681495 160000
--- a/llvm-backend/src/main/native/llvm-backend
+++ b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit ec3db0ef74b5837a25afe1ca486737480f87f781
+Subproject commit 42e11681495fcef32204620f90d58a254b65fc37