From ea48514dc9e53c3c042e969b5118742de43e952b Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Mon, 30 Sep 2024 18:57:55 +0000
Subject: [PATCH] asli: cpp-backend-test-unstable-2024-09-27 ->
 cpp-backend-test-unstable-2024-09-30

Diff: https://github.com/UQ-PAC/aslp/compare/f0edba308c5fc6320e2cc99e452b4c5d5c85748e...9796e56c46b0cb985e2eb9e241ca0aef484d6b27
---
 aslp/asli.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/aslp/asli.nix b/aslp/asli.nix
index de8c9d6..e0f0d06 100644
--- a/aslp/asli.nix
+++ b/aslp/asli.nix
@@ -26,15 +26,15 @@
 
 buildDunePackage {
   pname = "asli";
-  version = "cpp-backend-test-unstable-2024-09-27";
+  version = "cpp-backend-test-unstable-2024-09-30";
 
   minimalOCamlVersion = "4.09";
 
   src = fetchFromGitHub {
     owner = "UQ-PAC";
     repo = "aslp";
-    rev = "f0edba308c5fc6320e2cc99e452b4c5d5c85748e";
-    hash = "sha256-Yfq93exYMfvS7ao6UziePiYjqG/GEz3+rs0aTS++71o=";
+    rev = "9796e56c46b0cb985e2eb9e241ca0aef484d6b27";
+    hash = "sha256-Vul5K3F6ZG3jQ9VUXVEBuiXAxHZRWZWthbd4AWpwE+s=";
   };
 
   checkInputs = [ alcotest ];