From 02cd1ff2e96715764aa5c126b0097f49779e44d9 Mon Sep 17 00:00:00 2001
From: Valentin Robert <val@galois.com>
Date: Mon, 31 Jul 2023 13:54:44 -0700
Subject: [PATCH] bump macaw

---
 deps/macaw | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/macaw b/deps/macaw
index 399309e6..bc9d04fc 160000
--- a/deps/macaw
+++ b/deps/macaw
@@ -1 +1 @@
-Subproject commit 399309e637069d6ed1ad7f95dfe5a5c936c82d7c
+Subproject commit bc9d04fca77e59e29dd7bd4c254aabace829a007