From 4b872c33b684eb8c12c50b1d7595a25cb073513d Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Tue, 13 Dec 2022 16:27:06 -0700
Subject: [PATCH] Update dependency: llvm-backend/src/main/native/llvm-backend
 (#3088)

* llvm-backend/src/main/native/llvm-backend: 500c601 - Version updates and nix version pin, OS runner pin (#613)

* Sync flake inputs to submodules

* llvm-backend/src/main/native/llvm-backend: baded74 - Hotfix for shellcheck breaking (#614)

* Sync flake inputs to submodules

* llvm-backend/src/main/native/llvm-backend: 8085f88 - Revert "Use opaque pointers when they're available (#586)" (#612)

* Sync flake inputs to submodules

Co-authored-by: rv-jenkins <devops@runtimeverification.com>
---
 flake.lock                                | 6 +++---
 llvm-backend/src/main/native/llvm-backend | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/flake.lock b/flake.lock
index 5def41f2248..7289033e408 100644
--- a/flake.lock
+++ b/flake.lock
@@ -296,11 +296,11 @@
         "utils": "utils_2"
       },
       "locked": {
-        "lastModified": 1669806211,
-        "narHash": "sha256-G3b8KqU3+6SERygbp5HMPX+mjTGszaiB4jRCr3Xme/8=",
+        "lastModified": 1670971416,
+        "narHash": "sha256-pTtFOhPUqJkJqfYWEn/Cdv8RIVFIZxylL4mEUH6pgmw=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "2837b46e923be9be066d46b6e639b47df001a791",
+        "rev": "8085f88ac0cd1493923118aa498e5b27aea79326",
         "type": "github"
       },
       "original": {
diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend
index 2837b46e923..8085f88ac0c 160000
--- a/llvm-backend/src/main/native/llvm-backend
+++ b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit 2837b46e923be9be066d46b6e639b47df001a791
+Subproject commit 8085f88ac0cd1493923118aa498e5b27aea79326