From 1c3adf05a2d4908d9298e3a97b57a3c4e4cbb0a3 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Mon, 9 Sep 2024 18:57:49 +0000
Subject: [PATCH] basil: 0.1.2-alpha-unstable-2024-09-05 ->
 0.1.2-alpha-unstable-2024-09-09

Diff: https://github.com/UQ-PAC/bil-to-boogie-translator/compare/43360c162f9425becf957c9cf458b3f6c35f1581...c9ad83d883b152f4fd4c2cce26b19c87ace94aaa
---
 basil/basil.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/basil/basil.nix b/basil/basil.nix
index cf91f02..1dcadd3 100644
--- a/basil/basil.nix
+++ b/basil/basil.nix
@@ -10,15 +10,15 @@
 
 mkSbtDerivation {
   pname = "basil";
-  version = "0.1.2-alpha-unstable-2024-09-05";
+  version = "0.1.2-alpha-unstable-2024-09-09";
 
   nativeBuildInputs = [ jdk makeBinaryWrapper ];
 
   src = fetchFromGitHub {
     owner = "UQ-PAC";
     repo = "bil-to-boogie-translator";
-    rev = "43360c162f9425becf957c9cf458b3f6c35f1581";
-    sha256 = "sha256-mZgprBRqvpyWqNvhyRG7b6Gb/zO1xFuFZRBVPPrrxho=";
+    rev = "c9ad83d883b152f4fd4c2cce26b19c87ace94aaa";
+    sha256 = "sha256-pp4fgCkpjQVyPB6y4Kq/FKDluUEh6gGgzk7hHdkgSWw=";
   };
 
   depsSha256 = "sha256-++gg+SKskDyaqHowNG2RPS7evuCzPYvvXMC4Rkp7b6U=";