From 2544ae6ebc91efc8adbba2dc402e240bcb32d4b5 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Wed, 20 Sep 2023 12:34:40 +0000
Subject: [PATCH] flake.nix, haskell-backend/src/main/native/haskell-backend:
 update to version 63397c713d21322434d572281c1407d929a1189e

---
 flake.nix                                       | 2 +-
 haskell-backend/src/main/native/haskell-backend | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/flake.nix b/flake.nix
index 28ace0dcf73..9f8d2ed1da5 100644
--- a/flake.nix
+++ b/flake.nix
@@ -2,7 +2,7 @@
   description = "K Framework";
   inputs = {
     nixpkgs.url = "nixpkgs/nixos-23.05";
-    haskell-backend.url = "github:runtimeverification/haskell-backend/85b5d086840a0f1e89499f086b50d7258598fc8b";
+    haskell-backend.url = "github:runtimeverification/haskell-backend/63397c713d21322434d572281c1407d929a1189e";
     booster-backend = {
       url = "github:runtimeverification/hs-backend-booster/ca1971761cfdbc0814b57bae9f11191e60881dd2";
       # NB booster-backend will bring in another dependency on haskell-backend,
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
index 85b5d086840..63397c713d2 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit 85b5d086840a0f1e89499f086b50d7258598fc8b
+Subproject commit 63397c713d21322434d572281c1407d929a1189e