From 56dedb75836865ad657ac3fa4b401d50813e5e1d Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Sun, 29 Dec 2024 18:58:33 +0000
Subject: [PATCH] asli: cpp-backend-test-unstable-2024-12-26 ->
 cpp-backend-test-unstable-2024-12-27

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

diff --git a/aslp/asli.nix b/aslp/asli.nix
index b80c851..73cfee3 100644
--- a/aslp/asli.nix
+++ b/aslp/asli.nix
@@ -26,15 +26,15 @@
 
 buildDunePackage {
   pname = "asli";
-  version = "cpp-backend-test-unstable-2024-12-26";
+  version = "cpp-backend-test-unstable-2024-12-27";
 
   minimalOCamlVersion = "4.09";
 
   src = fetchFromGitHub {
     owner = "UQ-PAC";
     repo = "aslp";
-    rev = "799846ce70c79ec013f8843fdfacec87d97bc293";
-    hash = "sha256-N6poVqtgZVyp0ghqvgmDexfhhUdp9++GyQl8TeJBZrM=";
+    rev = "dde3c1de0044e812c2badfa53f18b5da929546f4";
+    hash = "sha256-85y72OMSO6Bw0LcPSryRYnLUYKbNwq3DyQiMX6D3oGs=";
   };
 
   checkInputs = [ alcotest ];