diff --git a/verific b/verific
index 419f9ac52..3992c3755 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 419f9ac5219be9df31e9250090ce31fa69c00e43
+Subproject commit 3992c3755bec1ec68c6889509e33f6607873813f
diff --git a/yosys-slang b/yosys-slang
index bc824c808..0baf4bedc 160000
--- a/yosys-slang
+++ b/yosys-slang
@@ -1 +1 @@
-Subproject commit bc824c8080367a787066e417e429c9434287d2d5
+Subproject commit 0baf4bedcb26c01bef924142f7418e7472685ed0