From 2aa6b131ca28c9c47c53f482287a9c23f20bd2a8 Mon Sep 17 00:00:00 2001
From: Andres Erbsen <andres-github@andres.systems>
Date: Tue, 2 Apr 2024 18:16:07 +0000
Subject: [PATCH] coqutil: coinductive version of always

---
 bedrock2 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bedrock2 b/bedrock2
index 0fa39445..c37dfbb6 160000
--- a/bedrock2
+++ b/bedrock2
@@ -1 +1 @@
-Subproject commit 0fa394450d77563a9f85af2e4fc5f0bc8908a10a
+Subproject commit c37dfbb65f8644df65f14e32affe0e7ea3e9ee08