From dae5160957cfb49e2a0d7bd06229a4a6c702d936 Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Mon, 20 May 2024 16:34:24 -0700
Subject: [PATCH] Revert

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

diff --git a/verific b/verific
index 837c0d34c..2619116ab 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 837c0d34cb825f44e377c66314fbea906f2fc5f1
+Subproject commit 2619116ab08bc62ffc1bb5f2feed510ea332c388