From 4e360b392d7f92f750f433e6dc502dbb862fdf49 Mon Sep 17 00:00:00 2001
From: Akash Levy <akash@silimate.com>
Date: Mon, 21 Oct 2024 14:37:37 -0700
Subject: [PATCH] Fix missing header

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

diff --git a/verific b/verific
index e736d552c..15dbeb384 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit e736d552c04a335a376be1034848e25f460f9345
+Subproject commit 15dbeb38447b75455c89accae99f39fd20fae55f