From 29024f215acebdfdf3e15cad6c5cd709fe8f69ae Mon Sep 17 00:00:00 2001
From: Akash Levy <akash@silimate.com>
Date: Thu, 16 Apr 2026 11:05:14 -0700
Subject: [PATCH] Exclude weak symbols from overridden symbols

---
 Makefile | 2 +-
 verific  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 4296017ce..dbc71816e 100644
--- a/Makefile
+++ b/Makefile
@@ -622,7 +622,7 @@ else
 VERIFIC_LIB_OS_SUFFIX = linux
 
 $(VERIFIC_DIR)/_override_syms.txt: $(VERIFIC_SILIMATE_OBJS)
-	$(Q) nm -g --defined-only $^ | awk '{print $$NF}' | sort -u > $@
+	$(Q) nm -g --defined-only $^ | awk '$$2 ~ /^[TDBR]$$/ {print $$NF}' | sort -u > $@
 
 $(VERIFIC_DIR)/database/database-linux.a: $(VERIFIC_DIR)/database/database-linux.raw.a $(VERIFIC_DIR)/_override_syms.txt
 	$(Q) cp $< $@
diff --git a/verific b/verific
index 41e750a4a..a38fbdb57 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 41e750a4a73c2f21083c921ded112221ea30a587
+Subproject commit a38fbdb575b50565f041f31909015c07e11020e5