From 750371128c334f2ace6bdfb3cc9bc934c88be12b Mon Sep 17 00:00:00 2001
From: Behzad Mehmood <38078822+behzadmehmood@users.noreply.github.com>
Date: Fri, 1 Nov 2024 19:51:58 +0500
Subject: [PATCH] Embedding changes for multi-bit constants in design-edit
 (#2081)

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

diff --git a/yosys_verific_rs b/yosys_verific_rs
index 9bf477d9..2542810a 160000
--- a/yosys_verific_rs
+++ b/yosys_verific_rs
@@ -1 +1 @@
-Subproject commit 9bf477d948cebee7fa5ce627364e2e71659c37a9
+Subproject commit 2542810a3a4abc7dc2ce796374cc9004c0db9465