From 4b8170226231a11e677f33181aa485aa8ff4a0ea Mon Sep 17 00:00:00 2001
From: behzadmehmood <behzadmehmood82@gmail.com>
Date: Fri, 18 Oct 2024 22:15:35 +0500
Subject: [PATCH] Updating yosys_verific_rs

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

diff --git a/yosys_verific_rs b/yosys_verific_rs
index b9f462d1..d8ef1194 160000
--- a/yosys_verific_rs
+++ b/yosys_verific_rs
@@ -1 +1 @@
-Subproject commit b9f462d10cdc72b17cdc73daeb217c99ccb8ac33
+Subproject commit d8ef11943856f156ba74f9ca94759437e56ec36c