From d549cb9e5770d994cd08fdfb056101b8f4303859 Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Mon, 3 Jun 2024 03:40:35 -0700
Subject: [PATCH] Just really minor Verific change

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

diff --git a/verific b/verific
index 0dd7747b4..1b8960963 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 0dd7747b4dc79ed2b1610de1480bc69db238587f
+Subproject commit 1b896096356ed3046498161a4128be3b9ca9f467