From 39add8ffe9736f5721a991a73184531685a0eced Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Tue, 3 Oct 2023 19:04:38 +0000
Subject: [PATCH] basil: unstable-2023-09-29 -> unstable-2023-10-03

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

diff --git a/basil.nix b/basil.nix
index 60b12fc..380f3fc 100644
--- a/basil.nix
+++ b/basil.nix
@@ -11,15 +11,15 @@
 
 mkSbtDerivation rec {
   pname = "basil";
-  version = "unstable-2023-09-29";
+  version = "unstable-2023-10-03";
 
   nativeBuildInputs = [ jdk makeBinaryWrapper ];
 
   src = fetchFromGitHub {
     owner = "UQ-PAC";
     repo = "bil-to-boogie-translator";
-    rev = "87983bd2493d1256a65cbce3f3b6be750c0b2c65";
-    sha256 = "sha256-Fdm18fKzlL+i3gQ78HAamYU94/wREP0UGhZc+Z2gZW4=";
+    rev = "049af3b5fb0fd1c8785a09500b05bbbaa946bf0f";
+    sha256 = "sha256-qMOOx4SDMtdigPp9mPTn/BIGjCEAbYDZafj9KOGUBxQ=";
   };
 
   depsSha256 = "sha256-ed6eE4n2YWcCTYmFKy4mCOhJHprAj2tPfVwRw1zdklQ=";