From 43c3c5cf3c0d12e8c165700b06c3418cfc1dcd4d Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Wed, 15 May 2024 17:26:36 -0700
Subject: [PATCH] Fix default_nettype issue

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

diff --git a/verific b/verific
index 1be64c8f4..fe5f858be 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 1be64c8f429a2d6fd01188e86e968f413d20f6b5
+Subproject commit fe5f858befcbd0e830988e155970c5a9352bb2ca